util/misc.py
changeset 2598 46df689dbc3b
parent 2456 7373e3048167
child 3475 ee665dca07fa
equal deleted inserted replaced
2597:7e20fe7facd6 2598:46df689dbc3b