chiark / gitweb /
documentation/python: minor cleanup.
authorVladimír Vondruš <mosra@centrum.cz>
Tue, 27 Aug 2019 11:09:50 +0000 (13:09 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Tue, 27 Aug 2019 14:59:52 +0000 (16:59 +0200)
commitaf15b3ad7f46de222581825b29169477f4a2c0ee
treeea136e3ff17b343eb9686c16431754ec13240463
parent99db6663f3fa2332cd53f0dff98f12a6541dba98
documentation/python: minor cleanup.
documentation/python.py