ui/gtk/display.c

changeset 770
521ecd0a0e7b
parent 682
326e7a5122fa
child 801
e096c441e874
equal deleted inserted replaced
769:cba744633584 770:521ecd0a0e7b

mercurial