Make user-adjusted board size quasi-persistent (GTK)
[xboard.git] / themes / Mono / WhiteCrownedRook.svg
themes/Mono/WhiteCrownedRook.svg