Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* Small index page tweak * Update docs/user/index.rst Co-authored-by: Eric Holscher <[email protected]> * pre-commit failed when merging GitHub suggestion :yawn: --------- Co-authored-by: Eric Holscher <[email protected]>
- Loading branch information