[ros-diffs] [chorns] 12: Rename svn:doc to ros:doc