Skip to content
Snippets Groups Projects
Commit 49d8685b authored by René Schöne's avatar René Schöne
Browse files

Merge branch '35-change-used-prefix-for-generated-parts-of-grammar' into 'dev'

Resolve "Change used prefix for generated parts of grammar"

Closes #35

See merge request !23
parents 1fedb9cf cb5f44d1
Branches
No related tags found
Loading
Checking pipeline status