Use spaces instead of tabs

robertvazan · Jul 19, 2023 · 3b47454 · 3b47454
1 parent 66b18a7
commit 3b47454
Show file tree

Hide file tree

Showing 311 changed files with 15,046 additions and 15,047 deletions.
diff --git a/scripts/generate.py b/scripts/generate.py
@@ -396,9 +396,8 @@ def output(text, indent=0):
         text += '\n'
     if re.fullmatch('(?:[*].*\n)+', text):
         text = textwrap.indent(text, ' ')
-    for i in range(0, 5):
-        text = re.sub('^(\t*) {4}', r'\1\t', text, flags=re.MULTILINE)
-    text = textwrap.indent(text, indent * '\t')
+    text = text.replace('\t', '    ')
+    text = textwrap.indent(text, indent * '    ')
     print(text, end='')
 
 def redirect(path, generator):

diff --git a/src/main/java/com/machinezoo/noexception/CheckedExceptionHandler.java b/src/main/java/com/machinezoo/noexception/CheckedExceptionHandler.java