ui/gtk/menu.c

changeset 1227
dd9f17feae3e
parent 1138
999911de398b
equal deleted inserted replaced
1226:f38d354623be 1227:dd9f17feae3e

mercurial