aboutsummaryrefslogtreecommitdiff
path: root/book
diff options
context:
space:
mode:
authorPascal Kuthe2023-04-20 05:53:16 +0000
committerGitHub2023-04-20 05:53:16 +0000
commitf5d38cee17e78bf82eb2d0b3070aa9cd52c0a741 (patch)
tree99a5d400d216c33e9286c15fb7edb7eccf693ef6 /book
parent83c307a66a05644c95c3864b3a79293d92f0b176 (diff)
produce error when grammar build fails (#6795)
* produce error when grammar build fails * print which grammar build failed
Diffstat (limited to 'book')
0 files changed, 0 insertions, 0 deletions