singa
singa copied to clipboard
Add editorconfig
editorconfig is a configuration file adopted by many editors to ensure consistent coding style, which can avoid many diff results when we do git merge.