• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

diff: ui/gtk/headerbar.c

ui/gtk/headerbar.c

changeset 1192

96858abf075a

parent 1112

9250601f9d9a

child 1194

91696f7fa475