diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-02-28 16:56:45 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-02-28 16:56:45 +0000 |
commit | 1086247ef0875b662c527c6f74c8a6f3ce60e2c7 (patch) | |
tree | 523b8a076e89b1b14c8815249dd359665a6e2104 | |
parent | ebfe15187031ecbff9ca6b00eb229b19b7b4e5bd (diff) |
New files.
-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 |