Index of /pgi/dev/tools
Name Last modified Size Description
Parent Directory -
test/ 2024-01-24 15:43 -
github_authors_perye..> 2021-02-15 07:56 459
github_authors_and_c..> 2024-01-24 15:43 545
github_commits_perve..> 2024-01-24 15:43 588
detectnotabfiles.sh 2021-02-15 07:56 649
resize_window.sh 2024-01-24 15:43 690
fixnotabfiles.sh 2024-01-24 15:43 722
fixperms.sh 2024-01-24 15:43 789
fixduplicatelangline..> 2024-01-24 15:43 947
github_lines_peruser..> 2024-01-24 15:43 963
fixduplicatelangkey.sh 2024-01-24 15:43 1.0K
fixhasRights.sh 2024-01-24 15:43 1.6K
fixutf8bomfiles.sh 2024-01-24 15:43 1.7K
fixdosfiles.sh 2024-01-24 15:43 2.0K
fixaltlanguages.sh 2024-01-24 15:43 2.5K
spider.php 2024-01-24 15:43 3.8K
fixsnakeCaseToCamelC..> 2024-01-24 15:43 4.4K
snakeCaseToCamelCase.sh 2021-02-15 07:56 4.4K
optimize_images.sh 2024-01-24 15:43 5.6K
dolibarr-mysql2pgsql.pl 2024-01-24 15:43 12K
dolibarr-postgres2my..> 2024-01-24 15:43 20K