ui/gtk/headerbar.h

changeset 535
ede57f5b6178
parent 336
56c12f44c2d3
child 789
d70799b3333e

mercurial