chiark / gitweb /
documentation/python: minor cleanup.
authorVladimír Vondruš <mosra@centrum.cz>
Wed, 28 Aug 2019 12:14:48 +0000 (14:14 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Wed, 28 Aug 2019 20:34:23 +0000 (22:34 +0200)
commit85f361c7ebe1da4b37ec47b5b9a89676ab0ce115
treee93522cdd5d40a11801ce1ee8715bc21abb8f3b3
parente964007291fa44948823af0c47f20cd3df5a4975
documentation/python: minor cleanup.
documentation/python.py