diff options
author | Ghostkeeper <rubend@tutanota.com> | 2020-01-03 16:08:13 +0300 |
---|---|---|
committer | Ghostkeeper <rubend@tutanota.com> | 2020-01-03 16:08:13 +0300 |
commit | 5599618d19e0348256eb6611774d7829b13bc49c (patch) | |
tree | 880089d8adea2ed69d2afd001e0f041173980807 | |
parent | 95efcfd035413c5b34d64aa2169ab937c19f2ba8 (diff) |
Fix spelling
D/T mistakes are very common amoung Dutch natives, but this is just madness.
-rw-r--r-- | run_mypy.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/run_mypy.py b/run_mypy.py index d93e1cafc8..df715bf10d 100644 --- a/run_mypy.py +++ b/run_mypy.py @@ -76,9 +76,9 @@ def main(): print("\nCommand %s failed checking. :(" % commands[i]) success_code = 1 if success_code: - print("MYPY check was compleded, but did not pass") + print("MYPY check was completed, but did not pass") else: - print("MYPY check was compleded and passed with flying colors") + print("MYPY check was completed and passed with flying colors") return success_code if __name__ == "__main__": |