Skip to content

Use EnumSet for the checker options#64

Merged
uschindler merged 1 commit intomasterfrom feature_optionsEnumSetAug 23, 2015