From a18b161434fc1ef56e984b6922d4fe13df647995 Mon Sep 17 00:00:00 2001 From: Guido Tack Date: Fri, 15 Jan 2016 10:52:12 +1100 Subject: [PATCH] Bump version to match MiniZinc 2.0.11 release --- MiniZincIDE/CHANGES | 3 +++ MiniZincIDE/MiniZincIDE.pro | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index 7ee4076..c6894ed 100644 --- 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 index 4c090db..31c7f86 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.10 +VERSION = 2.0.11 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\" bundled {