chiark / gitweb /
documentation/python: the plain type name wasn't correctly name-mapped.
authorVladimír Vondruš <mosra@centrum.cz>
Fri, 27 Sep 2024 13:41:07 +0000 (15:41 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sat, 28 Sep 2024 01:44:29 +0000 (03:44 +0200)
commit02e98fa2533bb1c5fdeede0031446bd389efe812
tree730e0ae89acce0306203ee5a321612c348bfe2c6
parenteceb20e14105bb1abdc72850c5679a017c06e960
documentation/python: the plain type name wasn't correctly name-mapped.

Fortunately the template uses the type_link property, so this bug wasn't
really visible anywhere.
documentation/python.py