Pietro b89682e441 Build: Jbuilder -> Dune 1.0.1		2018-07-24 19:15:04 +02:00
..
irmin_lmdb.ml	Irmin_lmdb: make sure we open the file with consistent rights	2018-06-29 17:50:17 +02:00
irmin_lmdb.mli	Storage: add readonly option	2018-06-13 01:00:47 +02:00
irmin-lmdb.opam	Build: Jbuilder -> Dune 1.0.1	2018-07-24 19:15:04 +02:00
jbuild	Vendors: import irmin-lmdb	2018-06-13 00:55:36 +02:00