Skip to content

Display text of references in doc strings#1166

Merged
rgrinberg merged 5 commits intoocaml:masterfrom
AurelienSaue:references_text
Jul 28, 2023
Merged

Display text of references in doc strings#1166
rgrinberg merged 5 commits intoocaml:masterfrom
AurelienSaue:references_text

Commits

Commits on Jul 18, 2023

Commits on Jul 19, 2023