ui/gtk/display.c

changeset 805
3774965e4937
parent 801
e096c441e874
equal deleted inserted replaced
804:ce992dbfbc39 805:3774965e4937

mercurial