diff options
-rw-r--r-- | etc/desktop/mime-info/proofgeneral.keys | 4 | ||||
-rw-r--r-- | etc/desktop/mime-info/proofgeneral.mime | 2 |
2 files changed, 6 insertions, 0 deletions
diff --git a/etc/desktop/mime-info/proofgeneral.keys b/etc/desktop/mime-info/proofgeneral.keys new file mode 100644 index 00000000..13d43c7a --- /dev/null +++ b/etc/desktop/mime-info/proofgeneral.keys @@ -0,0 +1,4 @@ +application/proofgeneral + open=proofgeneral %f & + view=proofgeneral %f & + icon-filename=/usr/share/pixmaps/proofgeneral.png diff --git a/etc/desktop/mime-info/proofgeneral.mime b/etc/desktop/mime-info/proofgeneral.mime new file mode 100644 index 00000000..a99b5389 --- /dev/null +++ b/etc/desktop/mime-info/proofgeneral.mime @@ -0,0 +1,2 @@ +application/x-proofgeneral: + ext: thy v phx l lf lcm |