From dfc3421302d62b57f6070c5fd2ccbb958ea92c8b Mon Sep 17 00:00:00 2001
From: Savil Srivastava <savil@cs.stanford.edu>
Date: Wed, 25 Jul 2018 12:49:58 -0700
Subject: [PATCH] add .editorconfig to ensure we use tabs, not spaces

---
 .editorconfig | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .editorconfig

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