January 19, 2023
Viewa8d9d98

Adjust .gitignore and add an .editorconfig file

Benjamin Roth authored on19/01/2023 22:49:32