Your web-browser is very outdated, and as such, this website may not display properly. Please consider upgrading to a modern, faster and more secure browser. Click here to do so.
svn copy -r <revision> http://<repos>/<file> .
Pretty obvious really, but still… Use the remote path (
PS: this retrieved the contents of
svn commit any changes to reinsert the file into the repos.