Commit Graph

2 Commits

Author SHA1 Message Date
4b5bd05221 Remove TODO for unification with InternalError::isRelevant()
The code is not similar enough to unify it.
2023-06-30 12:46:01 +02:00
96e92f13a3 Avoid relying on symlink for include directories
Symlinks aren't working very well with Git under Windows so better avoid
them.
2023-02-27 18:27:33 +01:00