Re: new DejaGnu team member

[Ben Elliston]

James Dein <address@hidden> writes:

> I grabbed the HEAD from the server mentioned on the
> www.gnu.org/software/dejagnu page, which I now know is the secondary
> repo (but Rob keeps them synchronized).  I even renamed/checked-in
> the CVS subdirs so that I could more easily update/import later.  I
> used the utterance mentioned listed.

Then where is the primary repository?

Ben