diff options
Diffstat (limited to 'jape.desktop')
| -rw-r--r-- | jape.desktop | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/jape.desktop b/jape.desktop new file mode 100644 index 000000000000..924d92e1a171 --- /dev/null +++ b/jape.desktop @@ -0,0 +1,9 @@ +[Desktop Entry] +Type=Application +Version=1.0 +Name=Jape +Comment=Graphical proof assistant +Exec=jape +Icon=jape +Terminal=false +Categories=Education;Science;Java; |