| commit | 87efe5f206fe138a1e88238153212c5cbac401cd | [log] [tgz] |
|---|---|---|
| author | Pietro Cerutti <gahr@gahr.ch> | Tue Apr 11 10:53:40 2017 +0000 |
| committer | Pietro Cerutti <gahr@gahr.ch> | Tue Apr 11 10:53:40 2017 +0000 |
| tree | 91b28cf8666165674f4a1b4762d7c878b3075e31 | |
| parent | 0b0374e831d9c050c6c9eb2ef48b73bc62a0f084 [diff] |
DirName's separators and their length are known at compile time