From dcaa1c1f37c63bc3e41f81f5f36a329a1976a45f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 1 Mar 2004 01:25:16 +0000 Subject: Tweak desktop integration; add application-registry. --- etc/desktop/proofgeneral.desktop | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'etc/desktop/proofgeneral.desktop') 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 -- cgit v1.2.3