Switch back to spaces for indentation.

For better or worse, Python 3 won. No need to be shitty about it, eh?
2021-04-09 16:16:34 -07:00
parent 6fc77a9a4a
commit 65b2b4a7e3
6 changed files with 1088 additions and 1074 deletions
@@ -26,10 +26,10 @@ from .utils.pretty_print import trace
 inscribe(trace)

 if '-q' in sys.argv:
-	j = interp
+    j = interp
 else:
-	j = repl
-	print('''\
+    j = repl
+    print('''\
 Thun - Copyright © 2017 Simon Forman
 This program comes with ABSOLUTELY NO WARRANTY; for details type "warranty".
 This is free software, and you are welcome to redistribute it