svn copy -r <revision> http://<repos>/<file> .

Pretty obvious really, but still… Use the remote path ( & ) to the file that existed in and place it in the current dir: . (or anywhere really).

PS: this retrieved the contents of but you would also need to svn commit any changes to reinsert the file into the repos.