> Any questions? (See the CVS manual for details on these commands,> of course.)
Would someone like to integrate this into the docs appendix whichalready discusses the CVS repository?
- Thomas