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

comparison: ui/gtk/menu.c

ui/gtk/menu.c

changeset 835

a0e1ff100512

parent 801

e096c441e874

child 836

5a8485ff7f54