ui/gtk/headerbar.c

changeset 784
2fded9495930
parent 681
aa1b280b5e4d
child 789
d70799b3333e
equal deleted inserted replaced
751:41286f7f8433 784:2fded9495930

mercurial