diff options
author | Rogério Brito <rbrito@ime.usp.br> | 2011-03-09 00:26:16 +0800 |
---|---|---|
committer | Alex Bennee <alex@bennee.com> | 2011-03-09 04:17:00 +0800 |
commit | 42a8a20603ba21a1db3d77a62cd75b8e4ec552f2 (patch) | |
tree | 1a29cbdee94438ab72a411c0ee7d78568f8007cf /src/Makefile.mingw | |
parent | d81ae5a482050947169f10e89c4d45e982f6012f (diff) |
Remove executable bits from files that are not scripts/executables.
Diffstat (limited to 'src/Makefile.mingw')
-rw-r--r--[-rwxr-xr-x] | src/Makefile.mingw | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/Makefile.mingw b/src/Makefile.mingw index d4ed141..d4ed141 100755..100644 --- a/src/Makefile.mingw +++ b/src/Makefile.mingw |