diff options
author | 2017-02-05 15:45:26 +0100 | |
---|---|---|
committer | 2017-02-05 15:46:07 +0100 | |
commit | 02c97cd0f7c4d630f1a90f9f2626746e47a28c09 (patch) | |
tree | 2b48d051a55f2b65525824546cd9fcf9e05907cf /3rdparty/catch/scripts/patchRelease.py | |
parent | d20b4ba6864b45d0c068d98d43e63c8bc5014a3b (diff) |
Updated Catch to latest (nw)
Diffstat (limited to '3rdparty/catch/scripts/patchRelease.py')
-rw-r--r-- | 3rdparty/catch/scripts/patchRelease.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/3rdparty/catch/scripts/patchRelease.py b/3rdparty/catch/scripts/patchRelease.py index 6abf87af152..878662f8eaa 100644 --- a/3rdparty/catch/scripts/patchRelease.py +++ b/3rdparty/catch/scripts/patchRelease.py @@ -1,3 +1,5 @@ +#!/usr/bin/env python + from __future__ import print_function from releaseCommon import Version |