From 2f9f0f1c63805ac526d7e302d487044b79280c0d Mon Sep 17 00:00:00 2001
From: Savil Srivastava <savil@cs.stanford.edu>
Date: Wed, 25 Jul 2018 18:14:06 -0700
Subject: [PATCH] fix editorconfig so it applies to every file

---
 .editorconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.editorconfig b/.editorconfig
index 31252bc18..b19ed0f50 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -1,3 +1,4 @@
 # see https://editorconfig.org for more options, and setup instructions for yours editor
 
+[*]
 indent_style = tab
-- 
2.39.5