const char SVN_Version[] = "1397:1399M";
const char *svn_version(void) {
	return SVN_Version;
}