|
geometry
|
Adding back more extensions
|
2022-10-13 00:05:56 +02:00 |
|
.gitignore
|
Adding back more extensions
|
2022-10-13 00:05:56 +02:00 |
|
meta.json
|
some renamings in meta data
|
2023-02-15 00:52:14 +01:00 |
|
strip_line.inx
|
Adding back more extensions
|
2022-10-13 00:05:56 +02:00 |
|
strip_line.py
|
Adding back more extensions
|
2022-10-13 00:05:56 +02:00 |
