src/ui/replcoords.ui

changeset 340
3a25593e180b
parent 329
76db02dc7f60
equal deleted inserted replaced
339:89e7c2d0a020 340:3a25593e180b

mercurial