utils.py
changeset 7658 cc0578049cbe
parent 7649 ede740bd7077
child 7660 a1506b5306cc