Revision 0828571962cb687f615361a1b4e5fe56492671b0 authored by Marge Bot on 20 February 2024, 14:22:00 UTC, committed by Marge Bot on 20 February 2024, 14:22:00 UTC
Co-authored-by: arnaud <arnaud.bihan@functori.com> Approved-by: Rodi-Can Bozman <rodi.bozman@functori.com> Approved-by: Nicolas Ayache <nicolas.ayache@nomadic-labs.com> Approved-by: Antoine Lanco <antoine.lanco@functori.com> See merge request https://gitlab.com/tezos/tezos/-/merge_requests/11976
File | Mode | Size |
---|---|---|
internal | ||
dune | -rw-r--r-- | 254 bytes |
ppx_irmin.ml | -rw-r--r-- | 1.0 KB |
ppx_irmin.mli | -rw-r--r-- | 12 bytes |
Computing file changes ...