Revision b88363fe40f2cfb4491ffff26d497550eafed9a5

Committed on 06/08/2018 5:41 am by Marek Nocon <marek.nocon@ez.no> [GitHub Diff]

Remove unwanted files