Index of /dev/tools

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 test/                   2018-05-11 19:26    -   
 fixutf8bomfiles.sh      2018-05-11 19:25  1.7K  
 fixdosfiles.sh          2018-05-11 19:25  1.6K  
 detectnotabfiles.sh     2018-05-11 19:25  649   
 resize_window.sh        2018-05-11 19:25  690   
 fixaltlanguages.sh      2018-05-11 19:25  2.2K  
 optimize_images.sh      2018-05-11 19:25  4.9K  
 github_commits_perve..> 2018-05-11 19:25  468   
 fixduplicatelangline..> 2018-05-11 19:25  947   
 dolibarr-mysql2pgsql.pl 2018-05-11 19:25   12K  
 fixperms.sh             2018-05-11 19:25  732   
 github_authors_perye..> 2018-05-11 19:25  204   
 fixduplicatelangkey.sh  2018-05-11 19:25  1.0K