Revision 832ad0b53bbbe4bc9adb178f6073c8460607d787 authored by Philippe Bidinger on 11 May 2020, 10:52:02 UTC, committed by Pierre Boutillier on 11 May 2020, 22:04:14 UTC
This reverts commit 75c05dc7830128dca46b0b26eabf34a026f2ff75.
1 parent 25f4397
| File | Mode | Size |
|---|---|---|
| .ocamlformat | -rw-r--r-- | 40 bytes |
| IO.ml | -rw-r--r-- | 8.2 KB |
| IO.mli | -rw-r--r-- | 1.5 KB |
| closeable.ml | -rw-r--r-- | 3.0 KB |
| closeable.mli | -rw-r--r-- | 1.0 KB |
| dict.ml | -rw-r--r-- | 3.8 KB |
| dict.mli | -rw-r--r-- | 1.1 KB |
| dune | -rw-r--r-- | 111 bytes |
| dune-project | -rw-r--r-- | 35 bytes |
| inode.ml | -rw-r--r-- | 25.1 KB |
| inode.mli | -rw-r--r-- | 1.8 KB |
| irmin-pack.opam | -rw-r--r-- | 580 bytes |
| irmin_pack.ml | -rw-r--r-- | 15.6 KB |
| irmin_pack.mli | -rw-r--r-- | 3.2 KB |
| lru.ml | -rw-r--r-- | 2.9 KB |
| lru.mli | -rw-r--r-- | 1.0 KB |
| pack.ml | -rw-r--r-- | 9.7 KB |
| pack.mli | -rw-r--r-- | 2.2 KB |
| pack_dict.ml | -rw-r--r-- | 1.0 KB |
| pack_dict.mli | -rw-r--r-- | 817 bytes |
| pack_index.ml | -rw-r--r-- | 1.9 KB |
| pack_index.mli | -rw-r--r-- | 969 bytes |
| s.ml | -rw-r--r-- | 944 bytes |
| stats.ml | -rw-r--r-- | 1.2 KB |
| stats.mli | -rw-r--r-- | 1007 bytes |
Computing file changes ...
