Index of /gestion/dev/tools

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 github_commits_perve..> 2022-05-30 08:29  591   
 spider.php              2022-05-30 08:29  3.8K  
 snakeCaseToCamelCase.sh 2022-05-30 08:29  4.4K  
 fixaltlanguages.sh      2022-05-30 08:29  2.5K  
 fixperms.sh             2022-05-30 08:29  732   
 dolibarr-mysql2pgsql.pl 2022-05-30 08:29   12K  
 github_authors_and_c..> 2022-05-30 08:29  459   
 fixdosfiles.sh          2022-05-30 08:29  2.0K  
 optimize_images.sh      2022-05-30 08:29  4.9K  
 detectnotabfiles.sh     2022-05-30 08:29  649   
 fixutf8bomfiles.sh      2022-05-30 08:29  1.7K  
 resize_window.sh        2022-05-30 08:29  690   
 dolibarr-postgres2my..> 2022-05-30 08:29   20K  
 fixduplicatelangline..> 2022-05-30 08:29  947   
 fixduplicatelangkey.sh  2022-05-30 08:29  1.0K  
 test/                   2022-05-30 08:29    -