summarylogtreecommitdiffstats
path: root/key.desktop
diff options
context:
space:
mode:
authorSeineEloquenz2021-03-26 20:52:52 +0100
committerSeineEloquenz2021-03-26 20:52:52 +0100
commitf7669e4734b38635cf457de7957152ba1682aadf (patch)
treed60a67441ee4b059770baa4212840080429f158d /key.desktop
downloadaur-f7669e4734b38635cf457de7957152ba1682aadf.tar.gz
Create version 2.8.0
Diffstat (limited to 'key.desktop')
-rw-r--r--key.desktop11
1 files changed, 11 insertions, 0 deletions
diff --git a/key.desktop b/key.desktop
new file mode 100644
index 00000000000..84a4badb772
--- /dev/null
+++ b/key.desktop
@@ -0,0 +1,11 @@
+ [Desktop Entry]
+Type=Application
+Name=KeY
+GenericName=KeY
+Comment=Java Software Verification Tool
+Exec=key %U
+Icon=key
+Terminal=false
+Categories=Development
+MimeType=text/x-arduino;
+Keywords=java;verification