projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d5cff96)
making config/mkbuilddir executable
authorMorgan Deters <mdeters@gmail.com>
Thu, 17 Dec 2009 03:29:53 +0000 (03:29 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 17 Dec 2009 03:29:53 +0000 (03:29 +0000)
config/mkbuilddir [changed mode: 0644->0755] patch | blob | history

diff --git a/config/mkbuilddir b/config/mkbuilddir
old mode 100644 (file)
new mode 100755 (executable)