Rename config.def.ini so that you can modify config.ini without

having merge issues
This commit is contained in:
Jacob 2023-10-01 17:30:23 +02:00
parent 0736ad351a
commit 74a45c1a09