← Back to team overview

dolfin team mailing list archive

Build: [...]

 

Commit from logg (2005-10-26 02:22 CEST)
----------------

Build:

Remove options --cflags_dolfin and --libs_dolfin from dolfin_config.

  dolfin  src/config/config.sh               1.7
  dolfin  src/config/dolfin-config.template  1.4