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=/opt/minizinc-ide/MiniZincIDE.sh Terminal=false Categories=Development;IDE;