Restore development version
authorMarco Costalba <mcostalba@gmail.com>
Sat, 5 Nov 2016 08:32:05 +0000 (09:32 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Sat, 5 Nov 2016 08:32:39 +0000 (09:32 +0100)
No functional change.

src/misc.cpp

index 4c6c254..08df524 100644 (file)
@@ -32,7 +32,7 @@ namespace {
 
 /// Version number. If Version is left empty, then compile date in the format
 /// DD-MM-YY and show in engine_info.
 
 /// Version number. If Version is left empty, then compile date in the format
 /// DD-MM-YY and show in engine_info.
-const string Version = "8";
+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
 
 /// 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