projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: df5f7fe)
make addsourcedir executable
authorMorgan Deters <mdeters@gmail.com>
Thu, 11 Nov 2010 04:45:29 +0000 (04:45 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 11 Nov 2010 04:45:29 +0000 (04:45 +0000)
contrib/addsourcedir [changed mode: 0644->0755] patch | blob | history

diff --git a/contrib/addsourcedir b/contrib/addsourcedir
old mode 100644 (file)
new mode 100755 (executable)