Skip to content

Commit 7f45531

Browse files
line editing for odoc_for_authors.mld (#1166)
* line editing for odoc_for_authors.mld * comma for clarity * comma for clarity * replace repeated word with active verb * applying Julow's suggestion * remove line break * Jules's suggestion for readability * Improve documentation --------- Co-authored-by: Paul-Elliot <peada@free.fr>
1 parent 5d31ff2 commit 7f45531

File tree

1 file changed

+114
-113
lines changed

1 file changed

+114
-113
lines changed

0 commit comments

Comments
 (0)