Restore development version

have fun! No functional change
2020-09-04 07:46:06 +02:00 · 2020-09-04 07:46:06 +02:00 · 571c2d6d8d
parent c306d83869
commit 571c2d6d8d
1 changed files with 1 additions and 1 deletions
--- 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 = "12";
+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