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

diff: ui/gtk/menu.c

ui/gtk/menu.c

changeset 515

9e18cb8c4412

parent 440

7c4b9cba09ca

child 553

90e38db0c755