jon.recoil.org
this repo has no description
Remove unnecessary words
authored by
Christine Rose
and committed by
panglesd
3ee58d98
d53b5c75
+1
-1
+1
-1
doc/driver.mld
+1
-1
doc/driver.mld
···
514
514
generate [src-source.odoc]. This file contains the source hierarchy. It will be
515
515
linked and passed to [html-generate], just as other pages and compilation units.
516
516
517
-
It is used as the [source-parent] for all units for which we could provide
517
+
It is used as the [source-parent] for all units with provided
518
518
sources.
519
519
520
520
{[