Revision bb3a542d9294d0bfa15c89ad8ba06692605f7270

Committed on 06/12/2019 1:25 am by Bertrand Dunogier <bertrand.dunogier@ez.no> [GitHub Diff]

Removed deprecated spaceless tag that wasn't needed anyway