For all you Git lovers out there: I just set up a (one-way) mirror of Dolfin's public repo on GitHub: https://github.com/nschloe/dolfin/. --Nico
_______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
