ui/gtk/headerbar.c

changeset 1067
4243fcc0aa5c
parent 973
aa39a986da78
equal deleted inserted replaced
1066:afe02792303d 1067:4243fcc0aa5c

mercurial