Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix support scripts on Linux (#1385) | Gil | 2018-06-06 |
| | | | | | | | | | | * Make it possible to run style.sh on Linux Needs clang-format in a nonstandard location, but can be made to work. * Fix lint.sh on Linux * Fix multiline comment error | ||
* | Add pathname manipulation utilities (#1376) | Gil | 2018-06-05 |