/* 1288 */ /* This file is automatically regenerated on each build. Do not edit it. */ const char* svn_version(void) { const char* SVN_Version = "1288"; return SVN_Version; }