src/ui/configbox.ui

changeset 28
dc076175ebdc
parent 25
256bb5c6b77f
equal deleted inserted replaced
27:b9307871cf10 28:dc076175ebdc

mercurial