MirrorHub/atlas
0
0
Fork 0
mirror of https://github.com/placeAtlas/atlas.git synced 2024-06-26 15:18:37 +02:00
Code Issues Projects Releases Wiki Activity

Changed indentation from spaces to tabs

Browse source
This commit is contained in:
Fabian Wunsch 2022-04-10 13:58:13 +02:00 committed by Hans5958
parent 37d4325186
commit 149a1e4209
1 changed files with 11 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
tools/formatter.py
View file

@ -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):
"""