Commit 85533f374b80b03a098e27123cc5f01a6cccb989

Edward Thomson 2020-04-01T19:59:31

Merge pull request #5474 from pks-t/pks/gitignore-cleanup gitignore: clean up patterns from old times