Skip to content

Ci/renaming

Ike Mulder requested 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