Restore development version
authorStéphane Nicolet <cassio@free.fr>
Thu, 23 Jan 2020 16:17:26 +0000 (17:17 +0100)
committerStéphane Nicolet <cassio@free.fr>
Thu, 23 Jan 2020 16:17:26 +0000 (17:17 +0100)
No functional change

src/misc.cpp

index 95862ebbd36cd0c329e421b95d4c6a6b91e123b0..053ee67ecf6f7a79a75e25d29cf00c11837aa7f5 100644 (file)
@@ -56,7 +56,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 = "11";
+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