Mike Stump <[EMAIL PROTECTED]> wrote: > $ svn switch svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4.0-branch > > to: > > $ svn switch svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_0-branch > > :-( Took me a while to figure out what was wrong. :-(
Sorry about that! -- Giovanni Bajo
