Docs: improve anchors vs. header bar (#67244) (#67319)

(cherry picked from commit fd43619f1a)
pull/67372/head
Felix Fontein 6 years ago committed by GitHub
parent 5e411807e7
commit 70b577ab09
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

File diff suppressed because one or more lines are too long
Loading…
Cancel
Save