From 3e00aeaf2f5667c1e2f096d0b5f6f6edaaf21a1a Mon Sep 17 00:00:00 2001 From: Fabian Fichter Date: Tue, 18 May 2021 15:26:05 +0200 Subject: [PATCH] Return to development version --- src/misc.cpp | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/misc.cpp b/src/misc.cpp index c1cab69..ec4dd94 100644 --- a/src/misc.cpp +++ b/src/misc.cpp @@ -65,7 +65,7 @@ namespace { /// Version number. If Version is left empty, then compile date in the format /// DD-MM-YY and show in engine_info. -const string Version = "13.1"; +const string Version = ""; /// 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 -- 1.7.0.4