docs/properties-menu.txt
changeset 1464 0fcc36f3db69
parent 1450 6594f9d03438
equal deleted inserted replaced
1463:494f862afeb6 1464:0fcc36f3db69