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)
commit5beff821aab0ac84c4c4a30bfa672c19c2da22da
tree8c0c2d3f3a436baf165d067e0d005376bf6015dd
parentacb76ac1f57e3690dc8099485f9b585d3ef76b24
parent205146104b51fff3f158d1fab15e26eef6dfb27d
Merge pull request #82 from pioardi/editorconfig

Add editor configuration file.