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