Problem finding lock

[Simon Renshaw]

Hi,

One of the dev told me that he got the following error while trying to
commit after he deleted a file: mismatch in rcs file.

So I did a checkout then I went in the directory where the file is, I
removed it then ran cvs remove and cvs commit. Commit failed because
version 1.1 is locked.

I asked the dev and he did not lock it. I looked around in the repo but
I cannot find a lock file for it.

A related question: that file is in a directory that I'd like to
completely remove from CVS. I don't need to keep it as an empty
directory. I know that if I use cvs remove to remove everything under
it, CVS won<t checkout the empty directory. If I want to really remove
it, can I just delete the directory from the repo?

Thanks!
Simon