ui/gtk/display.c

changeset 739
3236d5ed3a95
parent 682
326e7a5122fa
child 801
e096c441e874
equal deleted inserted replaced
738:0dbf92544d4f 739:3236d5ed3a95

mercurial