nicer docstrings
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 2 Jan 2019 16:58:21 +0000 (17:58 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 2 Jan 2019 16:58:43 +0000 (17:58 +0100)
commit391e2b5253c110a2083528b69e8e611edac39e23
tree285cbd097493189c6000068c668bbc6a7299cc2e
parent121219ac45fd954d3c7219c0f249fb1cddbc5105
nicer docstrings
tools.py