ui/gtk/headerbar.h

changeset 58
0d25f15e2625
parent 51
e324291ca9f8
equal deleted inserted replaced
57:d5a7dbc945ef 58:0d25f15e2625

mercurial