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

diff: ui/gtk/menu.c

ui/gtk/menu.c

changeset 512

3cb2587f8891

parent 440

7c4b9cba09ca

child 553

90e38db0c755