Restore development version
authorFabian Fichter <ianfab@users.noreply.github.com>
Thu, 21 Nov 2019 19:33:43 +0000 (20:33 +0100)
committerFabian Fichter <ianfab@users.noreply.github.com>
Thu, 21 Nov 2019 19:33:43 +0000 (20:33 +0100)
src/misc.cpp

index 230177f..212e8cd 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 = "10.4";
+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