Jakob Borg b659da8a4b Merge pull request #1548 from Zillode/case-insensitive-ignores
Support case-insensitive ignores (fixes #1511).
2015-04-01 13:46:59 +02:00
..
2015-03-17 16:02:27 +01:00
2015-03-25 23:10:34 +01:00
2015-03-25 23:10:34 +01:00
2015-03-17 16:02:27 +01:00
2015-03-17 16:02:27 +01:00
2015-03-30 22:49:16 +01:00
2015-03-19 12:44:38 +00:00
2015-03-17 16:02:27 +01:00
2015-03-17 16:02:27 +01:00
2015-03-17 16:02:27 +01:00