ui/gtk/menu.c

changeset 913
3012ec57d84a
parent 890
8d30cbd1c465
child 966
e411ed7c5f10
equal deleted inserted replaced
912:06c37c12d149 913:3012ec57d84a

mercurial