Skip to content

add make_simple_intropattern

Ralf Jung requested to merge ralf/make_simple_intropattern into master

It's not needed for !512 (merged) after all, but could still be useful in the future.

Merge request reports