]> git.sesse.net Git - stockfish/commitdiff
Rename of TimeMgr and friends
authorMarco Costalba <mcostalba@gmail.com>
Thu, 2 Apr 2015 07:07:17 +0000 (09:07 +0200)
committerMarco Costalba <mcostalba@gmail.com>
Fri, 3 Apr 2015 02:19:29 +0000 (04:19 +0200)
More natural naming IMO.

No functional change.


No differences found