summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/add_file (renamed from tools/PracroAdd)0
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/PracroAdd b/tools/add_file
index ff3bc9a..ff3bc9a 100755
--- a/tools/PracroAdd
+++ b/tools/add_file