diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-04 10:23:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-04 10:23:43 +0200 |
| commit | f545ab8eab59a65762dd9fa012629eedb0cb8f19 (patch) | |
| tree | 5c9781571c05178252bc8d45f834611137b4efa0 /core/input | |
| parent | cf46ef42a93f44d326ca2b3645cf94682bfe3564 (diff) | |
| parent | a1428ca3c897922d5f5b5d342bfd95c6050ad2f8 (diff) | |
Merge pull request #63561 from asmaloney/convert-python-type-hints
Convert Python type hints in tools/make_rst.py to be PEP 484/526-compatible
Diffstat (limited to 'core/input')
0 files changed, 0 insertions, 0 deletions