diff options
author | 2017-06-27 17:38:41 +0200 | |
---|---|---|
committer | 2017-06-28 10:17:35 +0200 | |
commit | 9b394a24dc65c794242e98a8a41eb8a60c78367b (patch) | |
tree | c515426f9f705d857d5bbb33ddaafe2810b59bc0 /tools/python | |
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 'tools/python')
0 files changed, 0 insertions, 0 deletions