https://gitlab.com/tezos/tezos
Raw File
Tip revision: c72067ac86021327d9e41d2673cc0b4f938ae7ef authored by Marge Bot on 27 March 2024, 14:05:12 UTC
Merge tezos/tezos!12664: opam: update all dependencies
Tip revision: c72067a
README.md
This directory contains files which are used as inputs for build scripts and the
like.

Typically, files in here contain lists of binary names or protocol versions.
Typically these lists are consumed by scripts to produce, copy, or otherwise
affect multiple files.
back to top