Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-11-19 | Ports: Fix ignoring patches | Sergey 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-12 | Ports: Add .gitignore for Ports (#766) | Dominik Madarász | |