src/ui/replcoords.ui

changeset 390
57be36dfa55e
parent 329
76db02dc7f60
equal deleted inserted replaced
389:ccb763dbe98e 390:57be36dfa55e

mercurial