Index of /dev/tools

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 test/                   31-Aug-2017 23:39    -   
 detectnotabfiles.sh     31-Aug-2017 23:39  649   
 resize_window.sh        31-Aug-2017 23:39  690   
 fixperms.sh             31-Aug-2017 23:39  732   
 rmphpclosingtag.sh      31-Aug-2017 23:39  819   
 fixduplicatelangline..> 31-Aug-2017 23:39  947   
 fixduplicatelangkey.sh  31-Aug-2017 23:39  1.0K  
 fixdosfiles.sh          31-Aug-2017 23:39  1.6K  
 fixutf8bomfiles.sh      31-Aug-2017 23:39  1.7K  
 fixaltlanguages.sh      31-Aug-2017 23:39  2.2K  
 optimize_images.sh      31-Aug-2017 23:39  4.9K  
 dolibarr-mysql2pgsql.pl 31-Aug-2017 23:39   12K