Closed edwardhartnett closed 1 year ago
Some documentation improvements.
Part of #397
@jbathegit if these documentation changes look OK, let's get them merged.
This looks fine. I'll merge it if and when the GitHub CI stops being painfully slow.
Some documentation improvements.
Part of #397