MirrorHub/atlas
0
0
Fork 0
mirror of https://github.com/placeAtlas/atlas.git synced 2024-09-27 20:48:56 +02:00
Code Issues Projects Releases Wiki Activity

Small naming improvement for better clarity

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

6
tools/formatter.py
View file

@ -125,12 +125,12 @@ def remove_duplicate_points(entry: dict):
Removes points from paths that occur twice after each other
"""
path: list = entry['path']
last: list = path[0]
previous: list = path[0]
for i in range(len(path)-1, -1, -1):
current: list = path[i]
if current == last:
if current == previous:
path.pop(i)
last = current
previous = current
return entry