git: deactivate manually maintained file, config now gets auto-generated

This commit is contained in:
Johanna Dorothea Reichmann 2020-07-05 10:23:39 +02:00
parent 410db58c94
commit 50bdcab3f6
Signed by untrusted user who does not match committer: transcaffeine
GPG Key ID: 03624C433676E465