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

comparison: ui/gtk/menu.h

ui/gtk/menu.h

changeset 875

0575ca45f1bb

parent 849

63623ef950e5

child 1038

832e9288f8e2