Skip to content
Commit 1040875b authored by worldofpeace's avatar worldofpeace
Browse files

minizinc: 2.2.1 -> 2.2.3 

Using a git revision for 2.2.3 because their tags are disappearing.

See:
- https://github.com/MiniZinc/libminizinc/issues/257
- https://github.com/MiniZinc/libminizinc/issues/248
parent 0925c482
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment