diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-07-27 10:43:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-27 10:43:37 +0200 |
| commit | 0065fcc947f7dee49ca04070f53fcd7f1dd81ab9 (patch) | |
| tree | 054d34ef43d17a6b483c4fe198f319983aa6a20a | |
| parent | cade90a807f2eea1af1639cbff404831509af04a (diff) | |
| parent | 4b3d6f04a8036a330d499670198463655a097736 (diff) | |
Merge pull request #63510 from asmaloney/add-missing-type-hints
| -rwxr-xr-x | doc/tools/make_rst.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py index 312dffc7ee..8fa530f1da 100755 --- a/doc/tools/make_rst.py +++ b/doc/tools/make_rst.py @@ -907,7 +907,7 @@ def make_rst_class(class_def, state, dry_run, output_dir): # type: (ClassDef, S f.write(make_footer()) -def escape_rst(text, until_pos=-1): # type: (str) -> str +def escape_rst(text, until_pos=-1): # type: (str, int) -> str # Escape \ character, otherwise it ends up as an escape character in rst pos = 0 while True: @@ -1301,7 +1301,7 @@ def rstize_text(text, state): # type: (str, State) -> str return text -def format_table(f, data, remove_empty_columns=False): # type: (TextIO, Iterable[Tuple[str, ...]]) -> None +def format_table(f, data, remove_empty_columns=False): # type: (TextIO, Iterable[Tuple[str, ...]], bool) -> None if len(data) == 0: return |