Add editorconfig file#1276

Open

expelledboy wants to merge 3 commits intoamark:masterfrom

expelledboy:editorconfig

Commits on Aug 30, 2022

add basic editorconfig
expelledboy
committed

Commits on Nov 17, 2022

Correct indent size and insist whitespace format
expelledboy
authored

Commits on Nov 24, 2022

Move explicit config for all files to top level in .editorconfig

expelledboy
and
CEbbinghaus
authored