Index of /dev/tools
Name Last modified Size Description
![[PARENTDIR]](/__ovh_icons/back.gif)
Parent Directory -
![[DIR]](/__ovh_icons/folder.gif)
test/ 2023-08-22 22:56 -
![[ ]](/__ovh_icons/script.gif)
resize_window.sh 2023-08-22 22:56 690
optimize_images.sh 2023-08-22 22:56 4.9K
github_commits_perve..> 2023-08-22 22:56 468
github_authors_perye..> 2023-08-22 22:56 204
fixutf8bomfiles.sh 2023-08-22 22:56 1.7K
fixperms.sh 2023-08-22 22:56 732
fixduplicatelangline..> 2023-08-22 22:56 947
fixduplicatelangkey.sh 2023-08-22 22:56 1.0K
fixdosfiles.sh 2023-08-22 22:56 1.6K
fixaltlanguages.sh 2023-08-22 22:56 2.2K
![[ ]](/__ovh_icons/p.gif)
dolibarr-mysql2pgsql.pl 2023-08-22 22:56 12K
detectnotabfiles.sh 2023-08-22 22:56 649