OPM/opm-core — pull request #185 by atgeirr (2013-03-07 15:19:40+00:00)
Title: Minor fixes

This PR contains some minor fixes and removals that should not affect any other code.