diff options
author | nicoo <nicoo@mur.at> | 2023-12-18 20:28:35 +0000 |
---|---|---|
committer | nicoo <nicoo@mur.at> | 2023-12-18 20:38:17 +0000 |
commit | 38e912eaa3890122be2c1354772d1791e53ea8dc (patch) | |
tree | 5e0620706eb5a547fd6f1845ef5a4e1e813ac121 /.github | |
parent | ba387f0a5be2a11366b046c6e28f9ce4bd348f58 (diff) |
doc/tests/manpage-urls.py: Add type annotations
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions