ui/gtk/menu.c

changeset 1188
92841501de20
parent 1138
999911de398b
equal deleted inserted replaced
1187:7b5ee7367b32 1188:92841501de20

mercurial