ui/gtk/display.c

changeset 789
d70799b3333e
parent 682
326e7a5122fa
child 801
e096c441e874
equal deleted inserted replaced
788:27f126f6e361 789:d70799b3333e

mercurial