ui/gtk/display.c

changeset 1033
eda1ff20cb27
parent 801
e096c441e874
equal deleted inserted replaced
1032:9136db051f28 1033:eda1ff20cb27

mercurial