[GiNaC-list] CVS server moved

[Christian Bauer]

Hi!

As previously announced, the GiNaC CVS server has moved to the new 
location cvs.ginac.de. To do an anonymous checkout:

   $ cvs -d :pserver:anoncvs at cvs.ginac.de:/home/cvs/GiNaC login
   (password is 'anoncvs')
   $ cvs -d :pserver:anoncvs at cvs.ginac.de:/home/cvs/GiNaC co GiNaC

If you are working with a copy checked out from the old CVS server, you 
need to do a fresh checkout from cvs.ginac.de.

Happy hacking,
Christian

-- 
   / Physics is an algorithm
\/ www.cebix.net