Closed mplemay closed 4 months ago
This PR does not seem to contain any modification to coverable code.
Thanks! I don't know what proper tools (ideally through pre-commit or sphinx) we should use to avoid this in the future. All the techniques I know may hinder the ease of doc-writing.
Fixes minor syntax error in the documentation
Successful PR Checklist:
PR label(s):