ui/gtk/menu.c

changeset 1207
833c37fc5475
parent 1138
999911de398b
equal deleted inserted replaced
1206:4637da12bc6c 1207:833c37fc5475

mercurial