One of my developers did a svn rm foo.java command, and committed it. He meant well, but it was not a good idea.
I could retrieve the file from the repository with svn update foo.java -r 1234 which would retrieve an older copy. svn would display a "A" with the file. but svn status showed nothing. Nothing to commit. and a subsequent svn update would delete the file again. What is the proper sequence of commands to get the file back and insert it back into the repository? I'd rather that the deletion be vanished, but if that is hard, what it the proper way to get it back and add it back to the stream of revisions? Thanks
