utils.py
changeset 7979 8bd5031e2201
parent 7956 db49658b2812
child 7990 a673d1d9a738