scripts/utils.py
changeset 543 57b0f8f80ebf
parent 535 d90684a803c1