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

diff: ui/gtk/menu.c

ui/gtk/menu.c

changeset 442

dc762a79e72d

parent 440

7c4b9cba09ca

child 553

90e38db0c755