Index of /gestion/dev/tools

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 test/                   2023-01-05 19:25    -   
 github_authors_and_c..> 2023-01-05 19:24  459   
 github_commits_perve..> 2023-01-05 19:24  591   
 resize_window.sh        2023-01-05 19:24  690   
 detectnotabfiles.sh     2023-01-05 19:24  722   
 fixperms.sh             2023-01-05 19:24  789   
 fixduplicatelangline..> 2023-01-05 19:24  947   
 fixduplicatelangkey.sh  2023-01-05 19:24  1.0K  
 fixutf8bomfiles.sh      2023-01-05 19:24  1.7K  
 fixdosfiles.sh          2023-01-05 19:24  2.0K  
 fixaltlanguages.sh      2023-01-05 19:24  2.5K  
 spider.php              2023-01-05 19:24  3.8K  
 snakeCaseToCamelCase.sh 2023-01-05 19:24  4.4K  
 optimize_images.sh      2023-01-05 19:24  5.2K  
 dolibarr-mysql2pgsql.pl 2023-01-05 19:24   12K  
 dolibarr-postgres2my..> 2023-01-05 19:24   20K