From 2bd8c5d67bf48da17c2f01af8c9773f61784383a Mon Sep 17 00:00:00 2001 From: Guido Tack Date: Tue, 30 Aug 2016 16:44:17 +0200 Subject: [PATCH] Update to include MiniZinc 2.0.97 beta release. --- MiniZincIDE/CHANGES | 3 +++ MiniZincIDE/MiniZincIDE.pro | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index 45e7a73..bd826be 100644 --- a/MiniZincIDE/CHANGES +++ b/MiniZincIDE/CHANGES @@ -1,3 +1,6 @@ +2016-08-30 + v2.0.97 + - Update to include MiniZinc 2.0.97 beta release. 2016-03-26 v2.0.13 - Flush output more consistently when process finished, hopefully diff --git a/MiniZincIDE/MiniZincIDE.pro b/MiniZincIDE/MiniZincIDE.pro index 26fa6e7..c144fe8 100644 --- a/MiniZincIDE/MiniZincIDE.pro +++ b/MiniZincIDE/MiniZincIDE.pro @@ -19,7 +19,7 @@ greaterThan(QT_MAJOR_VERSION, 4): { TARGET = MiniZincIDE TEMPLATE = app -VERSION = 2.0.14 +VERSION = 2.0.97 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\" bundled {