summarylogtreecommitdiffstats
path: root/rodin.desktop
blob: a97f90d44bdc2286626d946ac53a56c12f94f1cd (plain)
1
2
3
4
5
6
7
8
9
[Desktop Entry]
Name=Rodin
Comment=A tool for cost effective rigorous development of dependable software systems
Icon=rodin
Exec=/opt/rodin/rodin
Terminal=false
Type=Application
Categories=Development;IDE;Java;
StartupNotify=true