docs/properties-menu.txt
changeset 1460 48d96b3c3fd9
parent 1450 6594f9d03438
equal deleted inserted replaced
1459:15e7cb820128 1460:48d96b3c3fd9