[sr-dev] git:master:ffc671a1: exec Remove svn id, remove history, add doxygen