diff options
| author | David Aspinall | 2004-03-01 00:40:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-01 00:40:15 +0000 |
| commit | 3cfba3af1e9bb91b380356823d74a30a5fb3565d (patch) | |
| tree | 8e37077a9c5540ba40d144c937e7f97f700670c5 | |
| parent | 176296387601b09c8f26c072266d83af7ab793cf (diff) | |
New file
| -rw-r--r-- | etc/desktop/application-registry/proofgeneral.applications | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/etc/desktop/application-registry/proofgeneral.applications b/etc/desktop/application-registry/proofgeneral.applications new file mode 100644 index 00000000..1944358a --- /dev/null +++ b/etc/desktop/application-registry/proofgeneral.applications @@ -0,0 +1,7 @@ +proofgeneral + command=proofgeneral + name=Proof General + can_open_multiple_files=true + expects_uris=false + requires_terminal=false + mime_types=application/x-proofgeneral |