Hopefully fix sorting in the cases where the side to move is getting mated.
[remoteglot] / .gitignore
2014-11-09 Steinar H. GundersonMove most configuration into a separate file.