From 149a1e4209720ff96e7250ba06c460332a0d22a5 Mon Sep 17 00:00:00 2001 From: Fabian Wunsch Date: Sun, 10 Apr 2022 13:58:13 +0200 Subject: [PATCH] Changed indentation from spaces to tabs --- tools/formatter.py | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/tools/formatter.py b/tools/formatter.py index 9ab82725..8c480847 100644 --- a/tools/formatter.py +++ b/tools/formatter.py @@ -121,18 +121,18 @@ def remove_extras(entry: dict): return entry def remove_duplicate_points(entry: dict): - """ - Removes points from paths that occur twice after each other - """ - path: list = entry['path'] - previous: list = path[0] - for i in range(len(path)-1, -1, -1): - current: list = path[i] - if current == previous: - path.pop(i) - previous = current + """ + Removes points from paths that occur twice after each other + """ + path: list = entry['path'] + previous: list = path[0] + for i in range(len(path)-1, -1, -1): + current: list = path[i] + if current == previous: + path.pop(i) + previous = current - return entry + return entry def fix_r_caps(entry: dict): """