chiark / gitweb /
Add the new 'fifteensolver' to .gitignore.