detool.py
changeset 22 72696ca68c34
parent 15 0fe851a29bc6
equal deleted inserted replaced
21:b75f9514e797 22:72696ca68c34