diff options
| author | Ezio Melotti <ezio.melotti@gmail.com> | 2022-04-25 12:05:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-25 12:05:54 +0200 |
| commit | f7641a2ffec243e5f600028a84debe9028a9ee44 (patch) | |
| tree | a74fadae957f0e9c6ab078f3587272204b12a2a2 /Tools/scripts/generate_opcode_h.py | |
| parent | 440332072706c5e422e6c54a2ec0ebb88e09c85c (diff) | |
| download | cpython-f7641a2ffec243e5f600028a84debe9028a9ee44.tar.gz cpython-f7641a2ffec243e5f600028a84debe9028a9ee44.zip | |
gh-91888: add a `:gh:` role to the documentation (#91889)
* Add a new :gh:`...` role for GitHub issues.
* Fix a GitHub id to use the :gh: role.
* Add Misc/NEWS entry.
* Refactoring and rephrasing.
Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
Diffstat (limited to 'Tools/scripts/generate_opcode_h.py')
0 files changed, 0 insertions, 0 deletions