chiark / gitweb /
documentation/python: detect overloaded functions already at crawl time.
authorVladimír Vondruš <mosra@centrum.cz>
Tue, 27 Aug 2019 20:42:51 +0000 (22:42 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Wed, 28 Aug 2019 20:34:06 +0000 (22:34 +0200)
commit6db6b4c4f8296b0fa1b08ce6edeb942db321f6b4
tree967decbd004be5f5dd38b3997f784f4ebc79f605
parentb209586b0c8aef4027b05891bef1e1b267ec9cb7
documentation/python: detect overloaded functions already at crawl time.

But don't change the behavior in any way -- just that the consumers should
be aware of the distinction.
documentation/python.py