Extras repo cleanup

[Ralf Ertzinger]

On Thu, Dec 15, 2005 at 02:12:17PM +0100, Thorsten Leemhuis wrote:

> I agree that removing old RPMS in the devel repo is a good idea. But not
> in the extras repos for FC[34] -- there one older version should be kept
> (that's the way it is handled right now).

I think that having an older version to fall back on is especially useful
in the devel tree, where things are more likely to break.