Rename config

This commit is contained in:
Christoph Hagen 2022-06-10 23:52:06 +02:00
parent b9106bc52d
commit 7f31536315