iSharkFly-Open
/
python-peps
mirror of https://github.com/python/peps.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

PEP 0: Remove 'PEP' from table headers (#2635)

This commit is contained in:
Hugo van Kemenade 2022-06-08 20:49:36 +03:00 committed by GitHub
parent e92d085a35
commit 2d9a9462dd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pep_sphinx_extensions/pep_zero_generator/writer.py
View File

@ -88,8 +88,8 @@ class PEPZeroWriter:
self.emit_newline()
self.emit_text(" * - ")
self.emit_text(" - PEP")
self.emit_text(" - PEP Title")
self.emit_text(" - PEP Author(s)")
self.emit_text(" - Title")
self.emit_text(" - Authors")
def emit_title(self, text: str, *, symbol: str = "=") -> None:
self.output.append(text)