3 ms·
The manual has some known issues on mobile, I believe there's a GitHub issue open about it. It's low priority because the manual is rarely read on mobile. PRs w
by acabal 2y ago
The manual has some known issues on mobile, I believe there's a GitHub issue open about it. It's low priority because the manual is rarely read on mobile. PRs welcomed!