| commit | 033df097244218381e1ee6d09acefed41c4b24cf | [log] [tgz] |
|---|---|---|
| author | Austin Schuh <austin@peloton-tech.com> | Mon Jan 21 19:46:48 2019 -0800 |
| committer | Austin Schuh <austin@peloton-tech.com> | Mon Jan 21 21:22:00 2019 -0800 |
| tree | f2b709f5848cd195dbe657c07a1c543c27498280 | |
| parent | 6defdeb6d04c6b0fbe6b9ac7ef16edb8f253de92 [diff] [blame] | |
| parent | 70cc95553af0f3f97c59cc7a5025bba8f821de3a [diff] [blame] |
Merge commit 'fe3ce96d88108e2bf04fef5144aef6799bff0fd4' as 'third_party/ceres' Change-Id: If68cedf50907419e1e91f92f7ae9945d7357dc7b
diff --git a/WORKSPACE b/WORKSPACE index a9880e0..394c856 100644 --- a/WORKSPACE +++ b/WORKSPACE
@@ -324,3 +324,8 @@ name = "com_github_google_benchmark", path = "third_party/google-benchmark", ) + +local_repository( + name = "com_google_ceres_solver", + path = "third_party/ceres", +)