Commit from logg (2005-01-10 18:26 CET) ---------------- Change size of DOLFIN/PETSc benchmark. dolfin src/demo/test/main.cpp 1.18