chiark / gitweb /
Add missing checkboard, fixed #637