[ros-dev] svn: how do I restore a deleted file?