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
2 parent s 4031d95 + bccda6f
History
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

back to top