standardize indent to tabs

generate.py

@@ -5,15 +5,15 @@ from random import randint, random, choice
 from choice_network import Choice, FixedText, RandInt, Network
 
 def get_names(filename):
-    lines = []
-    with open(filename) as file:
-        lines = file.read().split("\n")
-    names = [
-        name + " "
-        for name in lines
-        if len(name) > 1
-    ]
-    return names
+	lines = []
+	with open(filename) as file:
+		lines = file.read().split("\n")
+	names = [
+		name + " "
+		for name in lines
+		if len(name) > 1
+	]
+	return names
 
 greeting = """
 Englisch version below.