From 0c40b1828d1d5c674448f6d143d2c02ed8843858 Mon Sep 17 00:00:00 2001
From: Paul Gauthier <paul@geomagical.com>
Date: Mon, 8 May 2023 22:47:00 -0700
Subject: [PATCH] WIP: Removed unnecessary blank line in coder.py.

---
 coder.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coder.py b/coder.py
index ad4e47da9..0b4439735 100755
--- a/coder.py
+++ b/coder.py
@@ -1,6 +1,5 @@
 #!/usr/bin/env python
 
-
 import sys
 import re
 import readline
@@ -174,6 +173,7 @@ class Coder:
 
         readline.write_history_file(history_file)
         return inp
+
     def check_for_local_edits(self, init=False):
         last_modified = max(Path(fname).stat().st_mtime for fname in self.fnames)
         since = last_modified - self.last_modified