diff options
author | Ben Sima <ben@bsima.me> | 2019-06-19 10:38:47 -0700 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2019-06-19 10:38:47 -0700 |
commit | 156de15c1b878cd27b2c841ad279d7a4229c2a40 (patch) | |
tree | 9d4114f1e2de98859112ad1a60458a96a044d2a3 | |
parent | ce88c30649073d1077a58a79a0561737d7f531fa (diff) |
add editorconfig
-rw-r--r-- | .editorconfig | 2 | ||||
-rw-r--r-- | common.nix | 4 | ||||
-rw-r--r-- | editorconfig | 4 |
3 files changed, 8 insertions, 2 deletions
diff --git a/.editorconfig b/.editorconfig deleted file mode 100644 index d9a328f..0000000 --- a/.editorconfig +++ /dev/null @@ -1,2 +0,0 @@ -[*.h] -indent_style = tab
\ No newline at end of file @@ -32,6 +32,10 @@ in source = ./mailcap; target = ".mailcap"; }; + editorconfig = { + source = ./editorconfig; + target = ".editorconfig"; + }; }; }; diff --git a/editorconfig b/editorconfig new file mode 100644 index 0000000..49bc4f8 --- /dev/null +++ b/editorconfig @@ -0,0 +1,4 @@ +root = true + +[*.h] +indent_style = tab
\ No newline at end of file |