| commit | 807a87190a117d5798f9f2c69427e9037e9891d3 | [log] [tgz] |
|---|---|---|
| author | aiuto <aiuto@google.com> | Tue Sep 06 20:14:09 2022 -0400 |
| committer | GitHub <noreply@github.com> | Tue Sep 06 20:14:09 2022 -0400 |
| tree | 7feac366245ed6e896a4d519fed2096967980a34 | |
| parent | 2f8c04c04462ab83c545ab14c0da68c3b4c96191 [diff] | |
| parent | eafcfc3c886f91b229e85db0f14b41de476a52c4 [diff] |
Merge pull request #142 from aiuto/upd Update WORKSPACE to account for bazel_tool//platforms going away.