utils.py
changeset 10045 0a49d61c8cca
parent 10004 acad42456767
child 10067 16c554c76eb4