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

diff: ui/gtk/menu.c

ui/gtk/menu.c

changeset 484

07055fcc5e2c

parent 440

7c4b9cba09ca

child 553

90e38db0c755