Skip to content
Snippets Groups Projects
Commit 118ec929 authored by Johannes Mey's avatar Johannes Mey
Browse files

file cleanup and renaming of artefact

parent 9eadce92
Branches
Tags
1 merge request!1Resolve "Renaming of Nonterminal Does Not Rename All Occurences"
Pipeline #11874 passed