Merge branch 'fix/restore-mistakenly-removed-FindValgrind.cmake' into 'master' (!320) · Merge requests · dumux-repositories / dumux · GitLab

Christoph Grüninger requested to merge cherry-pick-a0da08a3 into next Dec 27, 2016

[cmake,valgrind] Bring back mistakenly removed FindValgrind.cmake

The removal happend in 37dbc358 ;)

See merge request !319 (merged)