Revision 51e59f750804d53fe495f651e0495139e157c072

Committed on 20/04/2017 9:24 am by Henning Kvinnesland <henning.kvinnesland@vg.no> [GitHub Diff]

Remove unused file.