kate/BadFish
1
0
Fork 0
mirror of https://github.com/sockspls/badfish synced 2025-04-30 08:43:09 +00:00
Code Issues Releases Wiki Activity

Restore development version

Browse source 
No functional change
This commit is contained in:
Joost VandeVondele 2022-12-08 20:33:32 +01:00
parent 758f9c9350
commit e8caa6640d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/misc.cpp
View file

@ -68,7 +68,7 @@ namespace Stockfish {
namespace { namespace {
/// Version number or dev. /// Version number or dev.
const string version = "15.1"; const string version = "dev";
/// Our fancy logging facility. The trick here is to replace cin.rdbuf() and /// Our fancy logging facility. The trick here is to replace cin.rdbuf() and
/// cout.rdbuf() with two Tie objects that tie cin and cout to a file stream. We /// cout.rdbuf() with two Tie objects that tie cin and cout to a file stream. We