Skip to content

Commit

Permalink
Merge branch 'develop'
Browse files Browse the repository at this point in the history
  • Loading branch information
@guidotack
guidotack committed Jul 3, 2015
2 parents 289fe41 + 0459f96 commit 927705d
Showing 1 changed file with 0 additions and 0 deletions.
Binary file modified MiniZincIDE/mznide.ico
View file
Binary file not shown.

0 comments on commit 927705d

Please sign in to comment.