https://gitlab.com/tezos/tezos
Raw File
Tip revision: eb86eda63dfe730bac3d9b74c9b4300904a0ca2e authored by Arvid Jakobsson on 26 January 2024, 14:00:45 UTC
CI: Generate [before_merging] pipeline
Tip revision: eb86eda
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