https://gitlab.com/tezos/tezos
Revision 224ea7567024d580ef8d346aaacd9453fbf28154 authored by Marge Bot on 06 March 2024, 14:48:12 UTC, committed by Marge Bot on 06 March 2024, 14:48:12 UTC
Co-authored-by: Martin Tomazic <martin.tomazic97@gmail.com>

Approved-by: pietro <pietro.abate@nomadic-labs.com>
Approved-by: Raphaël Proust <code@bnwr.net>
Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/12311
2 parent s 91c338a + 8e2b7e5
History
Tip revision: 224ea7567024d580ef8d346aaacd9453fbf28154 authored by Marge Bot on 06 March 2024, 14:48:12 UTC
Merge tezos/tezos!12311: Kaitai: Remove redundant `.ksy` files
Tip revision: 224ea75
File Mode Size
lib_irmin
lib_irmin_pack
lib_ppx_irmin
.ocamlformat -rw-r--r-- 94 bytes
README.md -rw-r--r-- 2.0 KB

README.md

back to top