For future reference, here are the commands for conversion of from bzr to git (currently in progress):
bzr branch lp:dolfin cd dolfin git init bzr fast-export `pwd` | git fast-import rm -r .bzr git reset HEAD -- Anders _______________________________________________ Mailing list: https://launchpad.net/~fenics Post to : [email protected] Unsubscribe : https://launchpad.net/~fenics More help : https://help.launchpad.net/ListHelp
