const char* GIT_REV="01337dd";
const char* GIT_TAG="";
const char* GIT_BRANCH="texts-typing-corrections";
const char* BUILD_TIME="2022-09-21 19:55";