Closed Akuli closed 3 months ago
Fixes the documentation part of #1456. The CI will fail for now, because #1462 is not merged yet.
@rdbende Please review eventually :)
After thinking about the review thing a bit more, I think it will be easier for both of us if I just merge these things as is, and you look at the documentation as a whole later when it's somewhat complete.
Fixes the documentation part of #1456.
The CI will fail for now, because #1462 is not merged yet.@rdbende Please review eventually :)