src/ui/replcoords.ui

changeset 436
4268a5507725
parent 329
76db02dc7f60
equal deleted inserted replaced
435:bc3a51394953 436:4268a5507725

mercurial