diff options
author | Andy Maloney <asmaloney@gmail.com> | 2022-07-27 18:54:26 -0400 |
---|---|---|
committer | Andy Maloney <asmaloney@gmail.com> | 2022-08-03 13:06:50 -0400 |
commit | a1428ca3c897922d5f5b5d342bfd95c6050ad2f8 (patch) | |
tree | dc6e64e073dc287c048ee8fd1b89aa8f3c34db85 /doc/classes/TextServerExtension.xml | |
parent | ea4b8de2b4c06e6f18bf0470d716f787bddfecc3 (diff) |
Convert Python type hints in tools/make_rst.py
Since Python 3.5+ is required, we can use proper type hints based on PEP 484. Because we are working on contributor tooling we can assume 3.6+ and use PEP 526 for variable declarations as well.
Diffstat (limited to 'doc/classes/TextServerExtension.xml')
0 files changed, 0 insertions, 0 deletions