]> git.sesse.net Git - stockfish/commitdiff
Rename ThreadsManager to ThreadPool
authorMarco Costalba <mcostalba@gmail.com>
Sun, 24 Jun 2012 08:30:40 +0000 (09:30 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Sun, 24 Jun 2012 08:45:37 +0000 (09:45 +0100)
It is a more standard naming convention.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>

No differences found