Closed mdvthu closed 6 years ago
Thanks for the pull request, I don't think the .gitignore change should be added (one can always add ignores locally in .git/info/exclude)
Thanks for the pull request, I don't think the .gitignore change should be added (one can always add ignores locally in .git/info/exclude)