web/propertysheet.py
changeset 10708 d5e3fffa9c07
parent 10686 a08d5a657836
child 10897 7c386161ebd6
equal deleted inserted replaced
10707:3f4f190f8e35 10708:d5e3fffa9c07