aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--[-rwxr-xr-x]tools/Makefile0
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/Makefile b/tools/Makefile
index 0fee3f8a11..0fee3f8a11 100755..100644
--- a/tools/Makefile
+++ b/tools/Makefile