Revision da7c1161cc07114fffe95c5b7a6c29f9514ae6ca

Committed on 04/04/2020 10:25 am by André R <ar@ez.no> [GitHub Diff]

Remove unused/irrelevant files