aboutsummarylogtreecommitdiffstats
path: root/scyther.desktop
blob: 4e75f4dac15c993c6f3ff88cb923fb55cc864b14 (plain)
1
2
3
4
5
6
7
8
9
[Desktop Entry]
Encoding=UTF-8
Name=Scyther
Comment=Scyther protocol verifier
Icon=text-editor
Exec=scyther
Terminal=false
Type=Application
Categories=Development;ComputerScience;Security;