Mark Rader 830c7f1
[Desktop Entry]
Mark Rader 830c7f1
Name=Frama-C
Mark Rader 830c7f1
GenericName=Frama C
Mark Rader 830c7f1
Exec=frama-c-gui
Mark Rader 830c7f1
Icon=gnome-gmush
Mark Rader 830c7f1
Terminal=false
Mark Rader 830c7f1
Type=Application
Mark Rader 830c7f1
Categories=Development;
Mark Rader 830c7f1