diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index 2222b99..7ee4076 100644 --- a/MiniZincIDE/CHANGES +++ b/MiniZincIDE/CHANGES @@ -1,3 +1,6 @@ +2015-12-10 + v2.0.10 + - Updated to include MiniZinc 2.0.10 2015-12-07 v2.0.9 - Remove (unimplemented) menu item for adding files to a project. diff --git a/MiniZincIDE/MiniZincIDE.pro b/MiniZincIDE/MiniZincIDE.pro index fbf5a62..4c090db 100644 --- a/MiniZincIDE/MiniZincIDE.pro +++ b/MiniZincIDE/MiniZincIDE.pro @@ -11,7 +11,7 @@ greaterThan(QT_MAJOR_VERSION, 4): QT += widgets TARGET = MiniZincIDE TEMPLATE = app -VERSION = 2.0.9 +VERSION = 2.0.10 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\" bundled {