dejagnu
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Master sources?

From: Dan Kegel
Subject: Master sources?
Date: Mon, 09 Jun 2003 17:04:56 -0700
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.0) Gecko/20020615 Debian/1.0.0-3 
Hi,

According to http://www.gnu.org/software/dejagnu/
the master sources are kept at savannah.gnu.org.

I was therefore somewhat dismayed to read that this isn't
quite the case --
http://mail.gnu.org/archive/html/dejagnu/2003-06/msg00015.html
states there's also a repository at sources.redhat.com.

Why are there two?
reply via email to
[Prev in Thread] Current Thread [Next in Thread]