diff options
| author | Andy Maloney <asmaloney@gmail.com> | 2022-07-29 13:27:48 -0400 |
|---|---|---|
| committer | Andy Maloney <asmaloney@gmail.com> | 2022-07-29 13:27:48 -0400 |
| commit | 5036dfb0b66b4654b199cfa180cf8fd0510bf9bc (patch) | |
| tree | 0eb544fd026fc3f39d545f54b4375222b3f79c96 /thirdparty/rvo2 | |
| parent | 7199314eb39408da4f9f7286452c980a3d3da1c9 (diff) | |
Add Python PEP 484/526 type hints to doc/tools/doc_status.py
Also removes the first divider string which cleans up the extraneous dashes at the top of the page.
Diffstat (limited to 'thirdparty/rvo2')
0 files changed, 0 insertions, 0 deletions