src/ui/replcoords.ui

changeset 456
ae4fea87d6a1
parent 329
76db02dc7f60
equal deleted inserted replaced
455:c5d14d112034 456:ae4fea87d6a1

mercurial