chiark / gitweb /
documentation/python: minor cleanup.
authorVladimír Vondruš <mosra@centrum.cz>
Wed, 17 Jul 2019 18:14:05 +0000 (20:14 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jul 2019 11:34:34 +0000 (13:34 +0200)
commitcb39a93892571be4fecb428d2d6db0b17dcba874
tree61cc7d8feb6999c138f837c629991fd6c1ddfb4c
parenta65f77b9f48733f7a3982e8381de6c7d32794643
documentation/python: minor cleanup.
documentation/python.py