Skip to content

rename big_sepL_sepL2 → big_sepL2_sepL (and similar for sepM)

Ralf Jung requested to merge ralf/sepL_sepL2 into master

I think our current names just don't make sense, do they?

Merge request reports