From 5885919287a50e461403f49440b569cab443dc60 Mon Sep 17 00:00:00 2001 From: Jason N Date: Thu, 26 Sep 2024 13:14:50 +1000 Subject: [PATCH] Increase development version --- MiniZincIDE/MiniZincIDE.pri | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/MiniZincIDE/MiniZincIDE.pri b/MiniZincIDE/MiniZincIDE.pri index 6b4fcb7..fa76b18 100644 --- a/MiniZincIDE/MiniZincIDE.pri +++ b/MiniZincIDE/MiniZincIDE.pri @@ -1,6 +1,6 @@ QT += core gui widgets websockets -VERSION = 2.8.6 +VERSION = 2.8.7 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\" bundled {