We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 66942d1 commit 9f74cf1Copy full SHA for 9f74cf1
MiniZincIDE/MiniZincIDE.pri
@@ -1,6 +1,6 @@
1
QT += core gui widgets websockets
2
3
-VERSION = 2.9.1
+VERSION = 2.9.2
4
DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
5
6
bundled {
0 commit comments