[Fedora-livecd-list] [PATCH] delete repos from the default config, don't just disable them

Tue Mar 20 20:07:49 UTC 2007

On Tue, 2007-03-20 at 11:21 -0400, Jeremy Katz wrote:
> This avoids problems with reusing repoids.

That's nice, go for it. Does it mean we can change this file

 http://git.fedoraproject.org/?p=hosted/livecd;a=blob;f=config/livecd-fedora-minimal.ks;h=e8065b6168135d1947371a0b545845af037892c8;hb=HEAD

to use "development" and "extras" instead of "a-dev" and "a-extras-dev"?

     David