Index of /gestion/dev/tools

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