Skip to content

Commit

Permalink
Bump version to match MiniZinc 2.0.10 release
Browse files Browse the repository at this point in the history
  • Loading branch information
guidotack committed Dec 9, 2015
1 parent efc9dbe commit c65e195
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 1 deletion.
3 changes: 3 additions & 0 deletions MiniZincIDE/CHANGES
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
2015-12-10
v2.0.10
- Updated to include MiniZinc 2.0.10
2015-12-07
v2.0.9
- Remove (unimplemented) menu item for adding files to a project.
Expand Down
2 changes: 1 addition & 1 deletion MiniZincIDE/MiniZincIDE.pro
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ greaterThan(QT_MAJOR_VERSION, 4): QT += widgets
TARGET = MiniZincIDE
TEMPLATE = app

VERSION = 2.0.9
VERSION = 2.0.10
DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\"

bundled {
Expand Down

0 comments on commit c65e195

Please sign in to comment.