Skip to content

MiniZinc IDE 0.9.9
Compare
Choose a tag to compare
@guidotack guidotack released this 02 Aug 03:22
· 880 commits to master since this release
0.9.9
ca42d60

This release fixes two bugs (clicking on error messages, and syntax highlighting after saving a file to a different location).

Assets 10
Loading