diff --git a/MiniZincIDE/MiniZincIDE.pri b/MiniZincIDE/MiniZincIDE.pri index dd9919b..cef75be 100644 --- a/MiniZincIDE/MiniZincIDE.pri +++ b/MiniZincIDE/MiniZincIDE.pri @@ -1,6 +1,6 @@ QT += core gui widgets websockets -VERSION = 2.10.1 +VERSION = 2.10.2 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\" bundled {