diff options
author | Pascal Kuthe | 2023-04-20 05:53:16 +0000 |
---|---|---|
committer | GitHub | 2023-04-20 05:53:16 +0000 |
commit | f5d38cee17e78bf82eb2d0b3070aa9cd52c0a741 (patch) | |
tree | 99a5d400d216c33e9286c15fb7edb7eccf693ef6 /.gitignore | |
parent | 83c307a66a05644c95c3864b3a79293d92f0b176 (diff) |
produce error when grammar build fails (#6795)
* produce error when grammar build fails
* print which grammar build failed
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions