Skip to content

Commit

Permalink
Fix doc typo
Browse files Browse the repository at this point in the history
  • Loading branch information
samoht committed Nov 17, 2016
1 parent 37cfad2 commit 690f5d7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/irmin.mli
Original file line number Diff line number Diff line change
Expand Up @@ -2289,7 +2289,7 @@ end
format based on {{:https://github.com/janestreet/bin_prot}bin_prot},
with no native synchronization primitives: it is usually what is
needed to quickly create a new backend.}
{ - {!Make_with_metadata} is similar to {!Make} but allows to
{- {!Make_with_metadata} is similar to {!Make} but allows to
specify the kind of metadata stored in the nodes.}
{- {!Make_ext} creates a store with a {e deep} embedding of each
of the internal stores into separate store, with a total control over
Expand Down

0 comments on commit 690f5d7

Please sign in to comment.