docs/properties-menu.txt
changeset 1453 5b3285e47b62
parent 1450 6594f9d03438
equal deleted inserted replaced
1452:f5eca01f0a1d 1453:5b3285e47b62