Cleanup of old rules#143

Merged

dennisdoomen merged 1 commit intodennisdoomen:masterfrom bkoelman:cleanup

May 7, 2018

+1-10

Commits on May 6, 2018

Cleanup of old rules

bkoelman
authored and
bkoelman
committed