summaryrefslogtreecommitdiff
path: root/Ports/.gitignore
AgeCommit message (Collapse)Author
2019-11-19Ports: Fix ignoring patchesSergey Bugaev
According to gitignore docs, > It is not possible to re-include a file if a parent directory of that file is excluded. So make sure to re-include "*/patches" before trying to re-include "*/patches/*". This commit also converts the .gitignore file to have Unix line endings.
2019-11-12Ports: Add .gitignore for Ports (#766)Dominik Madarász