diff options
| author | Théo Zimmermann | 2017-05-27 02:44:55 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-05-27 03:05:00 +0200 |
| commit | 95ea00ce688ba8c5e257a4a9bd2ea0eca4ed3748 (patch) | |
| tree | 94ea9942e212f17eed08daf5fe3e3920fa6f298b | |
| parent | 92792dbdffc499d63ef772c97d0c73477be6007e (diff) | |
Add execution permission to test-suite file.
| -rwxr-xr-x[-rw-r--r--] | test-suite/coq-makefile/template/init.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/test-suite/coq-makefile/template/init.sh b/test-suite/coq-makefile/template/init.sh index bfd2c1b959..bfd2c1b959 100644..100755 --- a/test-suite/coq-makefile/template/init.sh +++ b/test-suite/coq-makefile/template/init.sh |