src/ui/replcoords.ui

changeset 420
8d6af951b611
parent 329
76db02dc7f60
equal deleted inserted replaced
419:d21b0a61d3b7 420:8d6af951b611

mercurial