jed-extra migration to git

[G. Milde]

On 13.11.08, Jörg Sommer wrote:
> Hello Rafael,

> Rafael Laboissiere schrieb am Mon 10. Nov, 17:17 (+0100):
> > Jörg, could you also migrate the jed-extra repository into Git, if Guenter
> > does not disagree?

> I'm currently to busy and IIRC the history of jed-extra was ugly so I
> expect a huge workload. You can try it with git-svn. I don't expect I've
> time for it this year.

Although impressed by its speed, I do not feel comfortable with git. So I
prefer to leave jed-extra under SVN for the time being.

Günter