diff options
-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 |