Revision 77252757b6962bd151434f79d5f8e38b74006801

Committed on 27/05/2016 5:39 am by Henning Kvinnesland <[email protected]> [GitHub Diff]

Removed redundant headers.