diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2015-02-04 20:04:27 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2015-02-04 20:04:27 +0000 |
commit | bd03b445d0be0f45bb597c40cbfed49818c6a0df (patch) | |
tree | d855c3282f2af9daa763b2f6a0526bfd4032e666 | |
parent | dc7e685a40c0bdcfa3373f3703bab458d9bba783 (diff) |
remove exec permission from Makefile.common
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15806 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--[-rwxr-xr-x] | byterun/Makefile.common | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/byterun/Makefile.common b/byterun/Makefile.common index fb9ea10a2..fb9ea10a2 100755..100644 --- a/byterun/Makefile.common +++ b/byterun/Makefile.common |