rename "exclude" to "ignore" and create alias; closes #3871#3872

Merged

juergba merged 1 commit intomasterfrom boneskull/issue/3871

May 2, 2019

+36-35

Commits on May 2, 2019

rename "exclude" to "ignore" and create alias; closes #3871

boneskull
authored and
juergba
committed