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

comparison: ui/gtk/menu.h

ui/gtk/menu.h

changeset 701

6fdec085c385

parent 553

90e38db0c755

child 849

63623ef950e5