Tweak configuration

This commit is contained in:
Paulo Costa 2023-05-19 08:16:49 +00:00 committed by Edoardo Longo
parent 6f67b1ee58
commit 5e5989fdf0

File diff suppressed because one or more lines are too long