Closed stegayet closed 5 months ago
I don't really have strong feelings about this either way, but for now I will close this because 1. not having strong feelings I prefer not to change things 2. it feels correct to have the built files included in the source since they are small and it allows people to see them without running the build themselves.
Description
This PR removes
docs/
as it is not meant to be committed in the repository, these are documentation artifacts that are built and pushed with GitHub Action.