diff options
Diffstat (limited to 'math/proofgeneral/files/patch-isar-interface')
| -rw-r--r-- | math/proofgeneral/files/patch-isar-interface | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/math/proofgeneral/files/patch-isar-interface b/math/proofgeneral/files/patch-isar-interface deleted file mode 100644 index 97da1fbb35f7..000000000000 --- a/math/proofgeneral/files/patch-isar-interface +++ /dev/null @@ -1,11 +0,0 @@ ---- isar/interface.orig 2011-01-27 11:54:20.000000000 -0800 -+++ isar/interface 2012-04-11 20:26:06.000000000 -0700 -@@ -57,7 +57,7 @@ - UNICODE="" - FONT="" - GEOMETRY="" --PROGNAME="emacs" -+PROGNAME="%%EMACS_NAME%%" - INITFILE="true" - WINDOWSYSTEM="true" - UNICODE_SYMBOLS="" |