Make tools executable

stebl · Nov 11, 2014 · 1394b02 · 1394b02
1 parent 122de6c
commit 1394b02
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/Documentation/versionfilter.sh b/Documentation/versionfilter.sh
diff --git a/Tools/px_generate_xml.sh b/Tools/px_generate_xml.sh
diff --git a/Tools/px_update_wiki.sh b/Tools/px_update_wiki.sh