ui/gtk/menu.c

changeset 105
86d729874ff4
parent 75
efe2f65bea17
child 115
102fc0b8fe3e
equal deleted inserted replaced
104:3efe0210e27e 105:86d729874ff4

mercurial