PEP 0: Fix 'Page Source (GitHub)' (#2401)

Co-authored-by: Adam Turner <9087854+aa-turner@users.noreply.github.com>
This commit is contained in:
Hugo van Kemenade 2022-03-10 01:15:24 +02:00 committed by GitHub
parent 364616204c
commit 08e37f7c23
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions

View File

@ -35,7 +35,9 @@
<p id="toc-title">{{ title }}</p>
{{ toc }}
<br />
{%- if not sourcename.startswith("pep-0000") %}
<a id="source" href="https://github.com/python/peps/blob/main/{{sourcename}}">Page Source (GitHub)</a>
{%- endif %}
</nav>
</section>
<script src="{{ pathto('_static/colour_scheme.js', resource=True) }}"></script>