src/ui/replcoords.ui

changeset 435
bc3a51394953
parent 329
76db02dc7f60
equal deleted inserted replaced
434:b7a73ef3d4de 435:bc3a51394953

mercurial