docs/properties-menu.txt
changeset 1457 c57aa476bc69
parent 1450 6594f9d03438
equal deleted inserted replaced
1456:a07b27effd38 1457:c57aa476bc69