Commit 1137b28b authored 3 years ago by Johannes Mey

renaming also works in aspect files (outside injected java)

Branches

Tags

1 merge request!1Resolve "Renaming of Nonterminal Does Not Rename All Occurences"

Pipeline #11879 passed 3 years ago

Status	Pipeline	Created by	Stages	Actions
Passed 00:15:53 3 years ago	renaming also works in aspect files (outside injected java) #11879 bugfix/nonterminal-renaming 1137b28b		Stage: test Stage: jar	Download artifacts No artifacts found