chiark / gitweb /
documentation/python: better name for a function.
authorVladimír Vondruš <mosra@centrum.cz>
Sat, 13 Jul 2019 15:48:36 +0000 (17:48 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 14 Jul 2019 17:11:08 +0000 (19:11 +0200)
commitf26654716aa30380913de0c4382c13baad1654a0
tree9544d41b0752f1df4a16de726bbfdd0f1a278e00
parent08063874878c069cdb7023c44be4a912da5857aa
documentation/python: better name for a function.
documentation/python.py