now dumux/cmake.opts
assigned to @bernd
mentioned in merge request !60 (merged)
mentioned in commit 724ed1c9
closed via merge request !60 (merged)