Closed gedankenstuecke closed 5 months ago
This closes #612 by providing a clearer labeling of what those toggle switchees do (and that they can be overwritten/changed)
This PR does not seem to contain any modification to coverable code.
Thanks @helendduncan!
This closes #612 by providing a clearer labeling of what those toggle switchees do (and that they can be overwritten/changed)