ui/gtk/menu.c

changeset 577
c2e854820922
parent 558
62aefa91ffc5
child 659
d6baaa93f7be
equal deleted inserted replaced
576:dd38b170f9a8 577:c2e854820922

mercurial