diff options
author | Daniel Peukert | 2020-03-15 17:49:01 +0100 |
---|---|---|
committer | Daniel Peukert | 2020-03-15 17:49:01 +0100 |
commit | 56334c250dea74d8d1a91b05a0ab408255f263d5 (patch) | |
tree | 9c5e242899f1f9ef9a4d65634d3c645e01dd0060 /.editorconfig | |
parent | ce4b2518e2e7089ff5c2dbb02c5bbdf09f551c78 (diff) | |
download | aur-56334c250dea74d8d1a91b05a0ab408255f263d5.tar.gz |
Added ppx_let and dependencies
Diffstat (limited to '.editorconfig')
-rw-r--r-- | .editorconfig | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig new file mode 100644 index 000000000000..a467ee9a97a6 --- /dev/null +++ b/.editorconfig @@ -0,0 +1,8 @@ +root = true + +[*] +charset = utf-8 +end_of_line = lf +insert_final_newline = true +indent_style = tab +tab_width = 4 |