src/widgets/headeredit.ui

changeset 1425
5354313b9958
parent 1292
66d2050d3bd9
equal deleted inserted replaced
1424:737df8e904af 1425:5354313b9958

mercurial