I hae seen that infrastructure has just renamed the repository from jakarta-gump to gump.
I believe the machines where gump is running would need the following :
- in the directory tree containing the version of gump used to run gump,
change the contents of the file CVS/Repository every where to start with gump instead of jakarta-gump
- maybe also change the name of the directory where gump is installed from jakarta-gump to gump and adapt crontabs/shell scripts
Antoine
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
