collection of useful CVS scripts
