docs/properties-menu.txt
changeset 1463 494f862afeb6
parent 1450 6594f9d03438
equal deleted inserted replaced
1462:8bab619392d1 1463:494f862afeb6