ui/gtk/display.c

changeset 988
bb7718f7d31d
parent 801
e096c441e874
equal deleted inserted replaced
987:77c5e7cadf96 988:bb7718f7d31d

mercurial