Closed fzipi closed 9 months ago
For the benefit of those who don't really follow what this means, what does it do / what does this change?
I should have created this as draft, sorry. I'm working on moving the website to gh-pages. This repository will then be generated to the docs
subdirectory so we can keep everything in the same place.
In fact, this is not needed at all. Closing 😅
what
why