Merge branch 'release/2.0.11'

MiniZinc · Jan 14, 2016 · a67d4e0 · a67d4e0
2 parents 91611a5 + a18b161
commit a67d4e0
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 @@
+2016-01-15
+  v2.0.11
+  - Updated to include MiniZinc 2.0.11
 2015-12-10
   v2.0.10
   - Updated to include MiniZinc 2.0.10

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.10
+VERSION = 2.0.11
 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
 
 bundled {