marco-c opened this issue 2 years ago · 1 comments
We have a few scripts to handle grammar updates, we should explain how to use them in the Developers Guide.
@Luni-4 mind doing this before we forget again all the necessary steps? :)