chiark / gitweb /
documentation/python: minor cleanup.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 22 Aug 2019 20:24:04 +0000 (22:24 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 25 Aug 2019 10:38:27 +0000 (12:38 +0200)
commit6d848e3c477d7db5ca6608b8e910eae061f991a0
treeeaa2d4ed8b8fd559a014dff9de5d71e5a8540b7b
parenta2241f6a2721cfe131346b2357283d9ebfd0af4e
documentation/python: minor cleanup.
documentation/python.py