aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/desktop/proofgeneral.desktop
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-03-01 01:25:16 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-03-01 01:25:16 +0000
commitdcaa1c1f37c63bc3e41f81f5f36a329a1976a45f (patch)
tree96202c6a3276f626cbda7334c271cfc9b974928b /etc/desktop/proofgeneral.desktop
parent3cfba3af1e9bb91b380356823d74a30a5fb3565d (diff)
Tweak desktop integration; add application-registry.
Diffstat (limited to 'etc/desktop/proofgeneral.desktop')
-rw-r--r--etc/desktop/proofgeneral.desktop2
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/desktop/proofgeneral.desktop b/etc/desktop/proofgeneral.desktop
index c072935d..2ee66642 100644
--- a/etc/desktop/proofgeneral.desktop
+++ b/etc/desktop/proofgeneral.desktop
@@ -6,6 +6,6 @@ Icon=proofgeneral.png
Terminal=false
Type=Application
Encoding=UTF-8
-Categories=Application;Development;TextEditor
+Categories=Application;Development;TextEditor;Mathematics
StartupWMClass=Emacs