Merge pull request #48 from TheBlueMatt/2023-07-further-opt
[rapid-gossip-sync-server] / .editorconfig
2022-08-22 Arik SosmanInitial commit.