[Ipopt] Git mirror to Ipopt?

[Stefan Vigerske]

Hi,

On 04/08/2013 02:20 PM, Joel Andersson wrote:
> Hello!
>
> Is there any "official" git mirror to Ipopt?

I am not aware of any.

> If not, we would be willing to try to set up one on github which is updated
> (nightly) by our testbot to the latest stable version on svn, i.e.
> https://projects.coin-or.org/svn/Ipopt/stable/3.10

If you have use for it, then go on.

Stefan

>
> Regards,
> Joel
>
>
>
>
>
> _______________________________________________
> Ipopt mailing list
> Ipopt at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/ipopt
>