scripts/utils.py
changeset 537 f285333bc66d
parent 535 d90684a803c1