diff options
author | 2017-09-04 11:43:35 +0200 | |
---|---|---|
committer | 2017-09-04 12:19:41 +0200 | |
commit | cdb8a63d3e01e396204c1a372cab49147886d100 (patch) | |
tree | 497f1c581d713fbccd56a36a6564c3f3f8ed81b5 /src/test/java/com/google/devtools/build/lib/analysis | |
parent | e9eb096e862743beb7abdb13951a0b23f6884258 (diff) |
Rename bazel-user-manual.html into user-manual.html
PiperOrigin-RevId: 167477112
Diffstat (limited to 'src/test/java/com/google/devtools/build/lib/analysis')
0 files changed, 0 insertions, 0 deletions