Closed janusw closed 1 year ago
Follow-up to #128. I'm removing many more packages that are definitely unused. More might be possible (I'm being conservative with those that I'm not sure about).
Cleanup only, GHA runs well, merging ...
Follow-up to #128. I'm removing many more packages that are definitely unused. More might be possible (I'm being conservative with those that I'm not sure about).