util/__init__.py
author Edouard Tisserant
Sun, 04 Aug 2013 22:55:12 +0900
changeset 1283 f3cfe1ff917e
parent 742 41a4a560406c
permissions -rw-r--r--
More optimization attemps in type handling