Revision 77252757b6962bd151434f79d5f8e38b74006801

Committed on 27/05/2016 5:39 am by Henning Kvinnesland <henning.kvinnesland@vg.no> [GitHub Diff]

Removed redundant headers.