Revision 1d93b803aeb7c3acd8da6e3398c890ae60055160

Committed on 02/12/2020 9:07 am by manuxi <[email protected]> [GitHub Diff]

Configuration cleanup