ui/gtk/display.c

changeset 858
52d05b12ea87
parent 801
e096c441e874
equal deleted inserted replaced
857:1d9dd72fec15 858:52d05b12ea87

mercurial