https://gitlab.com/tezos/tezos
Raw File
Tip revision: 044b31726233e62b9822d501571304af3e20733f authored by Gauthier SEBILLE on 20 October 2023, 12:28:38 UTC
RBT: block section for merge profiler
Tip revision: 044b317
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