src/ui/replcoords.ui

changeset 415
6598e3f9c673
parent 329
76db02dc7f60
equal deleted inserted replaced
414:0f40c56fde23 415:6598e3f9c673

mercurial