diff options
| author |  steren <steren@google.com> | 2017-06-27 17:38:41 +0200 |
|---|---|---|
| committer |  Marcel Hlopko <hlopko@google.com> | 2017-06-28 10:17:35 +0200 |
| commit | 9b394a24dc65c794242e98a8a41eb8a60c78367b (patch) | |
| tree | c515426f9f705d857d5bbb33ddaafe2810b59bc0 /src/main/java/com/google/devtools/build/lib/runtime/BlazeServerStartupOptions.java | |
| parent | ebec92588c1b67b85b8c64564105faa62664d4f4 (diff) | |
Bazel docs: Fix Edit button
The new doc website has a new URL structure. This change adapts the page extraction code.
It also restores the CSS for the edit button which got deleted during refactoring.
Fix #3272
RELNOTES: None
PiperOrigin-RevId: 160279009
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime/BlazeServerStartupOptions.java')
0 files changed, 0 insertions, 0 deletions