https://gitlab.com/tezos/tezos
Raw File
Tip revision: 2e5fbd8b5e04dbd3157926b22f3a392384b98fb6 authored by Pietro Abate on 12 May 2023, 12:04:15 UTC
CI: set reserved-for-profiling runners tags
Tip revision: 2e5fbd8
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