ui/gtk/display.c

changeset 894
5e53ef72a5d3
parent 801
e096c441e874
equal deleted inserted replaced
893:32b334db5f8b 894:5e53ef72a5d3

mercurial