I accidentally deleted all of the files in one of my ports sub-directory. Oops. In order to get them back I figured all I had to do was run cvsup again, but this didn't help, e.g. the given sub-directory remained empty. Bummer. What can I do? -- Kiffin Gish Gouda, The Netherlands