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

diff: ui/gtk/menu.c

ui/gtk/menu.c

changeset 17

db95c0104937

parent 16

a499c8a72c15

child 18

06be29a56f8b