ui/gtk/headerbar.c

changeset 1033
eda1ff20cb27
parent 973
aa39a986da78
equal deleted inserted replaced
1032:9136db051f28 1033:eda1ff20cb27

mercurial