diff options
Diffstat (limited to 'editors/zoinks/files/patch-ide-TProjectDocument.cpp')
| -rw-r--r-- | editors/zoinks/files/patch-ide-TProjectDocument.cpp | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/editors/zoinks/files/patch-ide-TProjectDocument.cpp b/editors/zoinks/files/patch-ide-TProjectDocument.cpp deleted file mode 100644 index 35ebfc4aa48c..000000000000 --- a/editors/zoinks/files/patch-ide-TProjectDocument.cpp +++ /dev/null @@ -1,11 +0,0 @@ ---- ide/TProjectDocument.cpp.orig 2007-11-04 22:37:49.000000000 +0100 -+++ ide/TProjectDocument.cpp 2007-11-04 22:38:02.000000000 +0100 -@@ -539,7 +539,7 @@ - chdir(workingDirectory); - - const char* command = fExternalDebuggerCommand; -- execl("/bin/sh", "sh", "-c", command, NULL); -+ execl("/bin/sh", "sh", "-c", command, (char *)NULL); - } - else if (pid < 0) - ThrowSystemError(pid); |