Make user-adjusted board size quasi-persistent (GTK)
[xboard.git] / gtk /
drwxr-xr-x   ..
-rw-r--r-- 0 .dirstamp
-rw-r--r-- 73903 xboard.c
-rw-r--r-- 6953 xboard.h
-rw-r--r-- 3813 xengineoutput.c
-rw-r--r-- 70294 xoptions.c
-rw-r--r-- 5718 xtimer.c