Improve specifying alternate directory if the source has moved.

This commit is contained in:
Ernie Pasveer
2022-10-22 11:35:30 -05:00
parent 950acc8eff
commit 33c3e15c7b
8 changed files with 81 additions and 65 deletions
+1 -1
View File
@@ -6,7 +6,7 @@
// Increment this with every release on GitHub.
// See scripts/change_versionnumber
//
#define SEER_VERSION "1.12"
#define SEER_VERSION "1.13beta"
namespace Seer {