diff options
author | SeineEloquenz | 2021-03-26 20:52:52 +0100 |
---|---|---|
committer | SeineEloquenz | 2021-03-26 20:52:52 +0100 |
commit | f7669e4734b38635cf457de7957152ba1682aadf (patch) | |
tree | d60a67441ee4b059770baa4212840080429f158d /key.desktop | |
download | aur-f7669e4734b38635cf457de7957152ba1682aadf.tar.gz |
Create version 2.8.0
Diffstat (limited to 'key.desktop')
-rw-r--r-- | key.desktop | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/key.desktop b/key.desktop new file mode 100644 index 000000000000..84a4badb7723 --- /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 |