diff options
Diffstat (limited to 'math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop')
| -rw-r--r-- | math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop b/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop index aefef292bf1c..04bae45e1bcc 100644 --- a/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop +++ b/math/proofgeneral/files/patch-etc_desktop_proofgeneral.desktop @@ -1,5 +1,5 @@ ---- etc/desktop/proofgeneral.desktop.orig Thu Dec 8 07:40:38 2005 -+++ etc/desktop/proofgeneral.desktop Thu Dec 8 07:41:03 2005 +--- etc/desktop/proofgeneral.desktop.orig 2012-04-11 20:39:33.000000000 -0700 ++++ etc/desktop/proofgeneral.desktop 2012-04-11 20:41:16.000000000 -0700 @@ -5,7 +5,7 @@ Name=Proof General GenericName=Theorem proving environment |