Merge branch 'release/2.0.10'

MiniZinc · Dec 9, 2015 · 91611a5 · 91611a5
2 parents 9999710 + c65e195
commit 91611a5
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git 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
@@ -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 {