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/eigen.BUILD | |
| 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/eigen.BUILD')
0 files changed, 0 insertions, 0 deletions