detool.py
changeset 17 adde6ad8731e
parent 15 0fe851a29bc6
equal deleted inserted replaced
16:980825f2aeed 17:adde6ad8731e