Skip to content
GitLab

rename big_sepL_sepL2 → big_sepL2_sepL (and similar for sepM)

Merged Ralf Jung requested to merge ralf/sepL_sepL2 into master

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