projects / snark14.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Fix file permissions
[snark14.git] / tools / Makefile
diff --git a/tools/Makefile b/tools/Makefile
old mode 100755 (executable)
new mode 100644 (file)
Local SNARK14m branch