diff options
| author | Mickey Rose | 2017-03-15 12:24:18 +0100 |
|---|---|---|
| committer | Mickey Rose | 2017-03-15 12:24:18 +0100 |
| commit | 46d166406d3c523f422db162d552122b53526234 (patch) | |
| tree | dce54d58f36857f722818ccbacd94dc39dcf8b18 /scripts/developBuild.py | |
| parent | 4ec8d53e913bef170e005675274b3df87ef0587f (diff) | |
| download | catch3-46d166406d3c523f422db162d552122b53526234.tar.gz | |
Set execute permission on runnable python scripts
Diffstat (limited to 'scripts/developBuild.py')
| -rwxr-xr-x[-rw-r--r--] | scripts/developBuild.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/developBuild.py b/scripts/developBuild.py index c16c8a6d..c16c8a6d 100644..100755 --- a/scripts/developBuild.py +++ b/scripts/developBuild.py |