ui/gtk/headerbar.h

changeset 1002
2cfd243dc8b0
parent 988
bb7718f7d31d
equal deleted inserted replaced
1001:7e72b45f0d41 1002:2cfd243dc8b0

mercurial