ui/gtk/display.c

changeset 775
c39e71be2e18
parent 682
326e7a5122fa
child 801
e096c441e874
equal deleted inserted replaced
774:4531a342c5b3 775:c39e71be2e18

mercurial