blob: a49c071068e35b6915b6f3fd25f31fe98e14c91c (
plain)
1
2
3
4
5
6
7
8
9
10
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
|