diff options
| author | Michael Stahl <mstahl@redhat.com> | 2016-07-01 12:47:11 +0200 |
|---|---|---|
| committer | Michael Stahl <mstahl@redhat.com> | 2016-07-01 13:09:00 +0200 |
| commit | ca6592c0ae5de338e48cb0d999468548859b4af1 (patch) | |
| tree | bf21cb49ebde6dfdab3787c7a70b8bc814adccae /external/coinmp | |
| parent | 5a002a0ac6441bf6d292a7ae21d9b916c8782371 (diff) | |
remove executable bit from .mk files
Change-Id: Id79898bb4f71103830ad7f74da71fbd5102e4fb5
Diffstat (limited to 'external/coinmp')
| -rw-r--r--[-rwxr-xr-x] | external/coinmp/ExternalProject_coinmp.mk | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/external/coinmp/ExternalProject_coinmp.mk b/external/coinmp/ExternalProject_coinmp.mk index 714171b74b8d..714171b74b8d 100755..100644 --- a/external/coinmp/ExternalProject_coinmp.mk +++ b/external/coinmp/ExternalProject_coinmp.mk |