diff options
author | Hans Raaf <hara@oderwat.de> | 2015-02-12 13:07:06 +0100 |
---|---|---|
committer | Hans Raaf <hara@oderwat.de> | 2015-02-12 13:07:06 +0100 |
commit | 6e8b2bbfc8549d97397c754981ae0510b7d8ddfd (patch) | |
tree | d2339672d83e0e6b504edb6282867005d9f45034 | |
parent | 4f00ae5a5afd0702a286a31f6bbdbdd8745be8c5 (diff) | |
download | Nim-6e8b2bbfc8549d97397c754981ae0510b7d8ddfd.tar.gz |
Set executable bit on build.sh.
I am not sure why this is not set already? To me it is an annoyance that I have to set it manually and then git shows me a change for that file all the time while working.
-rwxr-xr-x[-rw-r--r--] | build.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/build.sh b/build.sh
index 139c28359..139c28359 100644..100755
--- a/build.sh
+++ b/build.sh
|