We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 033c57a commit 2303b4dCopy full SHA for 2303b4d
MiniZincIDE/CHANGES
@@ -1,3 +1,7 @@
1
+2024-02-11
2
+ v2.9.0
3
+- Fix broken documentation link in the help menu item.
4
+
5
2024-10-02
6
v2.8.7
7
- Update to MiniZinc 2.8.7.
MiniZincIDE/MiniZincIDE.pri
@@ -1,6 +1,6 @@
QT += core gui widgets websockets
-VERSION = 2.8.8
+VERSION = 2.9.0
DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
bundled {
0 commit comments