add Source+Edit links on top of every docgend file (#15642)

This commit is contained in:
Timothee Cour 2020-10-22 01:44:28 -07:00 • committed by GitHub
commit 0979524137
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 32 additions and 23 deletions

View file

@ -106,6 +106,7 @@ function main() {
</ul>
</div>
<div class="nine columns" id="content">
<div id="tocRoot"></div>