diff options
author | Guillaume Mazoyer <gmazoyer@gravitons.in> | 2016-07-11 19:01:16 +0200 |
---|---|---|
committer | Guillaume Mazoyer <gmazoyer@gravitons.in> | 2016-07-11 19:01:16 +0200 |
commit | b636b73fc6ddcfc045ef946d2c264fd5611cda66 (patch) | |
tree | c68f4e46906cbc135b4cde0678909a7fa55a5290 | |
parent | b0c0a04f88416be87bff3f6ea9963295e69e50e9 (diff) |
Forgot to make build script executable.
-rwxr-xr-x[-rw-r--r--] | scripts/cibuild.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/cibuild.sh b/scripts/cibuild.sh index 11e1fa2..11e1fa2 100644..100755 --- a/scripts/cibuild.sh +++ b/scripts/cibuild.sh |