chiark / gitweb /
documentation/python: crawl also enum values.
authorVladimír Vondruš <mosra@centrum.cz>
Sat, 13 Jul 2019 15:46:07 +0000 (17:46 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 14 Jul 2019 17:11:08 +0000 (19:11 +0200)
commit08063874878c069cdb7023c44be4a912da5857aa
tree84ead627042383fab8b02679c0caac8a0b8a27ad
parent8e2f131b3d469dbccaee133b668b2fd7ced27f80
documentation/python: crawl also enum values.

No functional change, just a preparation for linking to enum values.
documentation/python.py