diff options
-rwxr-xr-x | bin/devel-tools/extractTranslations.pl (renamed from config-db/devel-tools/extractTranslations.pl) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/config-db/devel-tools/extractTranslations.pl b/bin/devel-tools/extractTranslations.pl index 223fb050..223fb050 100755 --- a/config-db/devel-tools/extractTranslations.pl +++ b/bin/devel-tools/extractTranslations.pl |