OPM/opm-core — pull request #374 by atgeirr (2013-09-18 12:03:30+00:00)
Title: Remove deleted headers from install list.

Fixes bug introduced by previous PR.