Use intermediate width menu bar in sizes 37 & 40 (WB)
[xboard.git] / winboard / res /
drwxr-xr-x   ..
-rw-r--r-- 676 winboard.exe.manifest