We use Eclipse and CVS for development work and version control at work. It’s a pipe dream of ours to migrate to Git, but that’s another story altogether. At any rate, I found myself needing to restore a file whose deletion had been committed, and I had no idea how to do it. As it…