scripts/utils.py
changeset 540 b07d52d49db7
parent 535 d90684a803c1