chiark / gitweb /
documentation/python: ignore more stuff added by typing.
authorVladimír Vondruš <mosra@centrum.cz>
Mon, 11 May 2020 12:45:38 +0000 (14:45 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Mon, 11 May 2020 12:45:38 +0000 (14:45 +0200)
commit01ea5ad52eb8e85b018027a5d540f5822ebfebba
tree5ca570eea855160f11b9828c598ed2e49c264dc1
parentb824ad5c5cdf5a6928bb083aa0a7c9ec1bc555c8
documentation/python: ignore more stuff added by typing.
documentation/python.py
documentation/test_python/inspect_annotations/inspect_annotations.AContainer.html