]> git.zerfleddert.de Git - m1-debian/commitdiff
another config option - but not active as of now
authorThomas Glanzmann <thomas@glanzmann.de>
Wed, 26 Oct 2022 16:35:55 +0000 (18:35 +0200)
committerThomas Glanzmann <thomas@glanzmann.de>
Wed, 26 Oct 2022 16:35:55 +0000 (18:35 +0200)

No differences found
Impressum, Datenschutz