Thread Previous • Date Previous • Date Next • Thread Next |
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
Thread Previous • Date Previous • Date Next • Thread Next |