commit | a65f0d42dc8820cc4d80561ddcd4b693c0adc892 | [log] [tgz] |
---|---|---|
author | Jan Niklas Hasse <jhasse@bixense.com> | Tue Nov 13 17:14:06 2018 +0100 |
committer | GitHub <noreply@github.com> | Tue Nov 13 17:14:06 2018 +0100 |
tree | 1178162df9a4418536f76d5a5d1ada008180fc49 | |
parent | bf7517505ad1def03e13bec2b4131399331bc5c4 [diff] | |
parent | 87efe5f206fe138a1e88238153212c5cbac401cd [diff] |
Merge pull request #1264 from gahr/DirName-compile-time DirName's separators and their length are known at compile time