Feature/autoformat (!2) · Merge requests · JastAdd / jetbrains-plugin · GitLab

Snippets Groups Projects

Merged Johannes Mey requested to merge feature/autoformat into develop 3 years ago

Viewing commit 7adbff80

Show latest version

7adbff80

Merge branch 'bugfix/nonterminal-renaming' into 'main' · 7adbff80
Johannes Mey authored 3 years ago
```
Resolve "Renaming of Nonterminal Does Not Rename All Occurences"

Closes #1

See merge request !1
```