Skip to content
GitLab

Resolve "Renaming of Nonterminal Does Not Rename All Occurences"

Merged Johannes Mey requested to merge bugfix/nonterminal-renaming into main

Closes #1 (closed)

Edited by Johannes Mey