projects / snark14.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 18dc953)
Fix file permissions
authorKevin M. Rosenberg <kevin@rosenberg.net>
Mon, 12 Feb 2018 03:44:18 +0000 (20:44 -0700)
committerKevin M. Rosenberg <kevin@rosenberg.net>
Mon, 12 Feb 2018 03:44:18 +0000 (20:44 -0700)
tools/Makefile [changed mode: 0755->0644] patch | blob | history

diff --git a/tools/Makefile b/tools/Makefile
old mode 100755 (executable)
new mode 100644 (file)
Local SNARK14m branch