chiark / gitweb /
Merge remote-tracking branch 'sgt/master'
[matchsticks-search.git] / .gitignore
1 *~
2 main
3 t
4 t.*
5 core