markus.dieckmann efcbd0be30 Revert "delete old stuff" ...

This reverts commit 7c32724416.

2025-05-27 13:03:22 +02:00

..

config

folding

2025-05-27 11:53:55 +02:00

plugins

Revert "delete old stuff"

2025-05-27 13:03:22 +02:00