chiark / gitweb /
documentation/python: extract the name shortener utility.
authorVladimír Vondruš <mosra@centrum.cz>
Wed, 17 Jul 2019 19:04:30 +0000 (21:04 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jul 2019 11:34:34 +0000 (13:34 +0200)
commit22911652552ece32e611443029b3f15f1c49bc4d
tree637e8ba6a5a58bb1c6e634d326e39976050b90fa
parentcb39a93892571be4fecb428d2d6db0b17dcba874
documentation/python: extract the name shortener utility.
documentation/python.py