diff options
author | Yong Tang <yong.tang.github@outlook.com> | 2018-06-28 14:08:24 -0700 |
---|---|---|
committer | Gunhan Gulsoy <gunan@google.com> | 2018-06-28 14:08:24 -0700 |
commit | 45b09176cc62fba5c08218558ba52265793d9bcd (patch) | |
tree | 52bd434334e6bda9c7d88838663aa9e2f4d6aaa8 /third_party/repo.bzl | |
parent | fd68c7348bdde4ce8edde1839d6901470e0b4685 (diff) |
Update or-tools to v6.7.2 (#20247)
* Update or-tools to v6.7.2
This fix updates or-tools from 253f795 (dated 03/21/2017)
to the latest versioned release version of v6.7.2
Signed-off-by: Yong Tang <yong.tang.github@outlook.com>
* Update workspace for ortools
Signed-off-by: Yong Tang <yong.tang.github@outlook.com>
Diffstat (limited to 'third_party/repo.bzl')
-rw-r--r-- | third_party/repo.bzl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/third_party/repo.bzl b/third_party/repo.bzl index cb67d3e961..9cee1fcc4b 100644 --- a/third_party/repo.bzl +++ b/third_party/repo.bzl @@ -16,7 +16,6 @@ _SINGLE_URL_WHITELIST = depset([ "arm_compiler", - "ortools_archive", ]) def _is_windows(ctx): |