Index of /gestion/dev/tools

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 test/                   2024-01-07 11:57    -   
 github_authors_and_c..> 2024-01-07 11:57  545   
 github_commits_perve..> 2024-01-07 11:57  588   
 resize_window.sh        2024-01-07 11:57  690   
 fixnotabfiles.sh        2024-01-07 11:57  722   
 fixperms.sh             2024-01-07 11:57  789   
 fixduplicatelangline..> 2024-01-07 11:57  947   
 github_lines_peruser..> 2024-01-07 11:57  963   
 fixduplicatelangkey.sh  2024-01-07 11:57  1.0K  
 fixhasRights.sh         2024-01-07 11:57  1.6K  
 fixutf8bomfiles.sh      2024-01-07 11:57  1.7K  
 fixdosfiles.sh          2024-01-07 11:57  2.0K  
 fixaltlanguages.sh      2024-01-07 11:57  2.5K  
 spider.php              2024-01-07 11:57  3.8K  
 fixsnakeCaseToCamelC..> 2024-01-07 11:57  4.4K  
 optimize_images.sh      2024-01-07 11:57  5.6K  
 dolibarr-mysql2pgsql.pl 2024-01-07 11:57   12K  
 dolibarr-postgres2my..> 2024-01-07 11:57   20K