Closed talex5 closed 8 months ago
Reorder and group modules so that odoc can generate a useful table of contents.
Before:
After:
Reorder and group modules so that odoc can generate a useful table of contents.
Before:
After: