OPM/opm-core — pull request #441 by andlaus (2013-11-27 15:46:41+00:00)
Title: Quality improvements

these are smallish and boring changes which should improve maintainability in the medium to long term. unfortunately I had to do quite a bit too much hand-editing to get them, so they are currently limited to opm-core...