util/misc.py
branch1.1 Korean release
changeset 1640 437d258179e1
parent 815 e4f24593a758
child 1388 67c9a9482d24
equal deleted inserted replaced
1384:02fe382c4511 1640:437d258179e1