Re: [eigen] git

[Moritz Lenz <mlenz@xxxxxxxxxxxxxxxxxxxxxxx>]

Benoit Jacob wrote:
> Thanks everybody for your input.
>
> I'll ask github for a repository and I'll keep you posted.

No need, you can simply sign up, and create one.

(usually you sign up as a normal user, but you could also create an 
'eigen' user so it feels a bit more official).

Cheers,
Moritz