This repository has been archived by the owner on Mar 2, 2024. It is now read-only.

appendix: add list of default settings that are different than the upstream default setting #260

Open

berendt opened this issue Sep 13, 2021 · 0 comments

Assignees

Member

berendt commented Sep 13, 2021

No description provided.

berendt assigned muellerbe

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.