src/ui/replcoords.ui

changeset 339
89e7c2d0a020
parent 329
76db02dc7f60
equal deleted inserted replaced
338:38f3c53357b6 339:89e7c2d0a020

mercurial