From 185f6a03f8355eaf2f297b5e62d4b3e078e14f79 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Wed, 8 Apr 2020 20:43:16 -0700
Subject: Set python indent to 4

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

diff --git a/.editorconfig b/.editorconfig
index b7b590b..94a6d20 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -11,5 +11,8 @@ charset = utf-8
 [*.{hs,rs,py,sh,nix}]
 max_line_length = 80
 
+[*.py]
+indent_size = 4
+
 [Makefile]
 indent_style = tab
-- 
cgit v1.2.3