static const char* BRANCH_REVNO = "20110413"; static const char* BRANCH_NICK = "0.8.9"; static const char* COMMIT_ID = "none";