diff options
Diffstat (limited to 'bipscript-ide-v0.7.patch')
-rw-r--r-- | bipscript-ide-v0.7.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/bipscript-ide-v0.7.patch b/bipscript-ide-v0.7.patch deleted file mode 100644 index 3065ee2fc642..000000000000 --- a/bipscript-ide-v0.7.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- ./bipscript-ide-0.7/version.sh 2019-04-24 09:56:03.000000000 -0700 -+++ ../bipscript-ide/version.sh 2019-04-24 16:11:58.923333312 -0700 -@@ -4,7 +4,7 @@ - - version = `git describe --tags`.chomp - if version.empty? then -- version = `cat version`.chomp -+ version = ARGV[0] - end - - template = "#ifndef VERSION_H |