Satish Balay <[email protected]> writes:

> I guess you could convert all externalpackage repos to git.

Where is the repository?  (It hasn't made it to bitbucket:petsc/*.)

Reply via email to