Commit bc0f32270e327dcf41763b69be195e7f46c89b82

Edward Thomson 2018-06-09T17:59:46

Merge pull request #4670 from pks-t/pks/ignore-leadingdir Fix negative gitignore rules with leading directories