ui/gtk/headerbar.c

changeset 1031
8f72e54b423e
parent 973
aa39a986da78
equal deleted inserted replaced
1030:1f6caf5b60fb 1031:8f72e54b423e

mercurial