ui/gtk/menu.c

changeset 1143
218ada0d4017
parent 1138
999911de398b
equal deleted inserted replaced
1142:e2a6707aa1e0 1143:218ada0d4017

mercurial