ui/gtk/display.c

changeset 1001
7e72b45f0d41
parent 801
e096c441e874
equal deleted inserted replaced
1000:56faeb1772da 1001:7e72b45f0d41

mercurial