v1.2

sander@dune-project.org

8041a5b2 · patch 1008 ('inform about a bug in OpenMPI') merged from the trunk · Apr 02, 2009

patch 1008 ('inform about a bug in OpenMPI') merged from the trunk