Added a special workspace

This commit is contained in:
vaxerski 2022-05-31 14:01:00 +02:00
parent df722cbb86
commit 0055efc4f1
13 changed files with 216 additions and 32 deletions

View file

@ -64,4 +64,6 @@
#endif
#ifndef GIT_DIRTY
#define GIT_DIRTY "?"
#endif
#endif
#define SPECIAL_WORKSPACE_ID -99