Alexander Neumann 56e5467096 Merge pull request 2032 from j6s/feature.case-insensitive-exclude
Add options for case insensitive includes & excludes
2019-02-10 12:40:33 +01:00
..
2019-02-10 12:31:18 +01:00
2019-01-06 14:52:20 +01:00
2019-02-10 12:35:41 +01:00