1 files changed, 11 insertions, 0 deletions
diff --git a/key.desktop b/key.desktop
new file mode 100644
index 000000000000..a49c071068e3
--- /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
+\ No newline at end of file