Update development version

MiniZinc · Jun 12, 2023 · 2ddcfbd · 2ddcfbd
1 parent 5d57144
commit 2ddcfbd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/MiniZincIDE/MiniZincIDE.pri b/MiniZincIDE/MiniZincIDE.pri
@@ -1,6 +1,6 @@
 QT       += core gui widgets websockets
 
-VERSION = 2.7.5
+VERSION = 2.7.6
 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"
 
 bundled {