4.0 -> 4.1

2016-07-03 15:30:51 +02:00
parent 3e923d73f0
commit e8564229f4
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -8,7 +8,7 @@ help:
 	@echo "  - all: all test clean"

 OR_TOOLS_MAJOR = 4
-OR_TOOLS_MINOR = 0
+OR_TOOLS_MINOR = 1

 # OR_ROOT is the minimal prefix to define the root of or-tools, if we
 # are compiling in the or-tools root, it is empty. Otherwise, it is