Index of /gestion/dev/tools

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 test/                   2018-09-21 12:01    -   
 fixduplicatelangkey.sh  2018-09-21 12:00  1.0K  
 fixduplicatelangline..> 2018-09-21 12:00  947   
 resize_window.sh        2018-09-21 12:00  690   
 fixutf8bomfiles.sh      2018-09-21 12:00  1.7K  
 fixdosfiles.sh          2018-09-21 12:00  1.6K  
 detectnotabfiles.sh     2018-09-21 12:00  649   
 optimize_images.sh      2018-09-21 12:00  4.9K  
 github_authors_perye..> 2018-09-21 12:00  259   
 dolibarr-mysql2pgsql.pl 2018-09-21 12:00   12K  
 fixperms.sh             2018-09-21 12:00  732   
 github_commits_perve..> 2018-09-21 12:00  591   
 fixaltlanguages.sh      2018-09-21 12:00  2.2K