blob: 7c2d83c6252e803de598b4725c75a852979e1905 (
plain)
1
2
3
4
5
6
7
8
|
[Desktop Entry]
Type=Application
Name=MiniZinc IDE
Comment=Simple IDE for writing and running MiniZinc models
Icon=/opt/minizinc-ide/resources/icon.png
Exec=MiniZincIDE
Terminal=false
Categories=Development;IDE;
|