Make tools executable

This commit is contained in:
Lorenz Meier 2014-11-11 13:45:25 +01:00
parent 122de6c762
commit 1394b02c2e
3 changed files with 0 additions and 0 deletions

0
Documentation/versionfilter.sh Normal file → Executable file
View File

0
Tools/px_generate_xml.sh Normal file → Executable file
View File

0
Tools/px_update_wiki.sh Normal file → Executable file
View File