Closed frederikprijck closed 11 months ago
With the docs now being uploaded from GitHub Actions (done because of the complexity and the fact that docs generation needs windows for now), we can remove the docs folder.
Changes
With the docs now being uploaded from GitHub Actions (done because of the complexity and the fact that docs generation needs windows for now), we can remove the docs folder.
Checklist