Mario Voigt 4fad216b45 some renamings in meta data		2023-02-15 00:52:14 +01:00
..
meta.json	some renamings in meta data	2023-02-15 00:52:14 +01:00
remove_duplicate_line_segments.inx	Adding back more extensions	2022-10-13 00:05:56 +02:00
remove_duplicate_line_segments.py	Adding back more extensions	2022-10-13 00:05:56 +02:00