Restore development version
authorStéphane Nicolet <cassio@free.fr>
Sun, 4 Feb 2018 01:08:09 +0000 (02:08 +0100)
committerStéphane Nicolet <cassio@free.fr>
Sun, 4 Feb 2018 01:08:09 +0000 (02:08 +0100)
No functional change.

src/misc.cpp

index 2eb62f3e4ff7e4fbf6d01845337e10b5fe6284d9..86c16d36174d3e0bac9616efa54bcb532312219e 100644 (file)
@@ -51,7 +51,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 = "9";
+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