diff options
author | 2018-02-23 09:29:18 -0800 | |
---|---|---|
committer | 2018-02-23 09:31:14 -0800 | |
commit | c791415dea389d60b495806905bf8cd008af1953 (patch) | |
tree | bdd92066ba98e003ee8cd7087b72a19eefe60339 /src/test/java/com/google/devtools/build | |
parent | f98a7a2fedb3e714cef1038dcb85f83731150246 (diff) |
Update site menu
In particular, use folding menus for Installing and Tutorials.
RELNOTES: None.
PiperOrigin-RevId: 186778997
Diffstat (limited to 'src/test/java/com/google/devtools/build')
0 files changed, 0 insertions, 0 deletions