add .editorconfig to ensure we use tabs, not spaces
authorSavil Srivastava <savil@cs.stanford.edu>
Wed, 25 Jul 2018 19:49:58 +0000 (12:49 -0700)
committerSavil Srivastava <savil@cs.stanford.edu>
Wed, 25 Jul 2018 19:49:58 +0000 (12:49 -0700)
.editorconfig [new file with mode: 0644]

diff --git a/.editorconfig b/.editorconfig
new file mode 100644 (file)
index 0000000..31252bc
--- /dev/null
@@ -0,0 +1,3 @@
+# see https://editorconfig.org for more options, and setup instructions for yours editor
+
+indent_style = tab