← Back to team overview

dolfin team mailing list archive

Set PATH in makedist script correctly.

 

Commit from logg (2005-12-15 23:46 CET)
----------------

Set PATH in makedist script correctly.

  dolfin  scripts/makedist  1.25