Restore development version

No functional change
This commit is contained in:
Joost VandeVondele
2021-07-03 09:20:06 +02:00
parent 773dff0209
commit 7cfc1f9b15

View File

@@ -67,7 +67,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 = "14";
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