chore: remove spurious folder

This commit is contained in:
Johannes Kirschbauer
2025-08-14 17:06:02 +02:00
parent 3586b4f48c
commit edb7dcc154

View File