ui/gtk/menu.c

changeset 1247
070d0472e6af
parent 1138
999911de398b
equal deleted inserted replaced
1246:43a7874a9d0e 1247:070d0472e6af

mercurial