OPM/opm-core — pull request #378 by rolk (2013-09-20 07:40:48+00:00)
Title: Make finding and installing dune.module redux

These changes were meant as an improvement to #373, but I didn't get to push them before it was merged.