ui/gtk/display.c

changeset 794
ebd7b3394501
parent 682
326e7a5122fa
child 801
e096c441e874
equal deleted inserted replaced
793:f33f05cd0548 794:ebd7b3394501

mercurial