Skip to content

Commit d928733

Browse files
correct monospace format
Co-authored-by: panglesd <[email protected]>
1 parent 1e096e1 commit d928733

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/driver.mld

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@ let instrument = false
3838
}{- [odoc/odoc_model/Odoc_model/index.html] : Module page for the module [Odoc_model]
3939
}{- [odoc/odoc_model/Odoc_model/...] : Further pages for the submodules of [Odoc_model]
4040
}{- [odoc/odoc_.../index.html] : Other [odoc] library pages
41-
}{- [odoc/deps/stdlib/index.html] : `Stdlib` main page
41+
}{- [odoc/deps/stdlib/index.html] : [Stdlib] main page
4242
}{- [odoc/deps/stdlib/Stdlib/index.html] : Module page for the module [Stdlib]
4343
}{- [odoc/deps/astring/index.html] : `astring` main page
4444
}{- [odoc/deps/...] : Other dependencies

0 commit comments

Comments
 (0)