mirror of
https://github.com/HChaZZY/Stockfish.git
synced 2025-12-24 19:16:49 +08:00
And some clean up in other files. closes https://github.com/official-stockfish/Stockfish/pull/4269 No functional change
And some clean up in other files. closes https://github.com/official-stockfish/Stockfish/pull/4269 No functional change