>>>>> "PP" == Paul Prescod <paul@prescod.net> writes:
PP> Yeah, I know. Working in the middle of the night. I tried to
PP> remove it immediately but obviously didn't succeed. If its
PP> still there, maybe someone can enlighten me on how to dump it.
You can't. Somebody with access to the repository will have to remove
it, but even then, if someone else has already done and update and
gotten the new dir, it'll mess up their working directories. Best to
just leave it empty and let "cvs up -P" prune it out.
-Barry
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4