Index of /isis/dev/tools
Name Last modified Size Description
![[PARENTDIR]](/__ovh_icons/back.gif)
Parent Directory -
![[DIR]](/__ovh_icons/folder.gif)
test/ 2022-07-29 19:25 -
![[ ]](/__ovh_icons/unknown.gif)
spider.php 2022-07-29 19:25 3.8K
![[ ]](/__ovh_icons/script.gif)
snakeCaseToCamelCase.sh 2022-07-29 19:25 4.4K
resize_window.sh 2022-07-29 19:25 690
optimize_images.sh 2022-08-12 14:47 5.2K
github_commits_perve..> 2022-07-29 19:25 591
github_authors_and_c..> 2022-07-29 19:25 459
fixutf8bomfiles.sh 2022-07-29 19:25 1.7K
fixperms.sh 2022-09-01 00:14 789
fixduplicatelangline..> 2022-07-29 19:25 947
fixduplicatelangkey.sh 2022-07-29 19:25 1.0K
fixdosfiles.sh 2022-08-12 14:25 2.0K
fixaltlanguages.sh 2022-07-29 19:25 2.5K
dolibarr-postgres2my..> 2022-07-29 19:25 20K
![[ ]](/__ovh_icons/p.gif)
dolibarr-mysql2pgsql.pl 2022-07-29 19:25 12K
detectnotabfiles.sh 2022-08-12 14:52 722