diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-04-16 22:50:05 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-16 22:50:05 -0700 |
commit | b4eeffd63cc00369ec6b47ed4289577af3dec4eb (patch) | |
tree | 3feddc1ece02773a710fd611a26237da44a3964b /.clang-format | |
parent | cc1689c3e40d6faf8de1ed7cd4eaae687adae103 (diff) |
antlr: Use relative path in ANTLR script. (#4324)
This will fix the CI caching issues we sometimes encountered on GH actions.
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions