Everything under ortools/ builds now.

2019-02-09 01:50:08 +01:00
parent 6321ba4207
commit 2c470e8675
1 changed files with 0 additions and 1 deletions
--- a/1
+++ b/1
@@ -9,7 +9,6 @@ http_archive(
    urls = ["https://github.com/gflags/gflags/archive/v2.2.2.zip"],
 )

-
 #Import the glog files.
 git_repository(
    name = "com_github_glog_glog",