| commit | 7011c4551490b279817f4cee9d44735ad505ec72 | [log] [tgz] |
|---|---|---|
| author | Brian Silverman <bsilver16384@gmail.com> | Sun Jan 05 13:18:21 2020 -0800 |
| committer | Brian Silverman <bsilver16384@gmail.com> | Sun Jan 05 13:21:59 2020 -0800 |
| tree | a6a692b77d4af9471ffddf08860f83723d0c2ca3 | |
| parent | 76a37aec1000ad9d059f2801c855fe3601b8a6f1 [diff] [blame] | |
| parent | 9d1c4f0a8d96db01f8084fabd9fad31e3a67d0bc [diff] [blame] |
Rename our allwpilib (which is now 2020) to not have 2019 in the name Change-Id: I3c07f85ed32ab8b97db765a9b43f2a6ce7da964a
diff --git a/third_party/BUILD b/third_party/BUILD index 6bb5f9c..b1a5eea 100644 --- a/third_party/BUILD +++ b/third_party/BUILD
@@ -10,7 +10,7 @@ name = "wpilib_hal", restricted_to = ["//tools:roborio"], visibility = ["//visibility:public"], - deps = ["//third_party/allwpilib_2019:hal"], + deps = ["//third_party/allwpilib:hal"], ) cc_library(