ui/gtk/menu.c

changeset 1033
eda1ff20cb27
parent 1020
cae4af417424
equal deleted inserted replaced
1032:9136db051f28 1033:eda1ff20cb27

mercurial