Skip to content

Ci/renaming

Ike Mulderrequested to merge
ci/renaming into master

Changed MergeMod to Transform, simplified ModReIntro. Transform only takes one argument, simplifying the setup for do_löb.

Merge request reports