Merge pull request #82 from pioardi/editorconfig
authorAlessandro Pio Ardizio <alessandroardizio94@gmail.com>
Mon, 8 Feb 2021 17:49:51 +0000 (18:49 +0100)
committerGitHub <noreply@github.com>
Mon, 8 Feb 2021 17:49:51 +0000 (18:49 +0100)
Add editor configuration file.


Trivial merge