diff options
| -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 |