https://gitlab.com/tezos/tezos
Raw File
Tip revision: 9a8e4a2cee46c3173b47dfef45f5028e0594b2e7 authored by Arvid Jakobsson on 14 December 2023, 16:51:35 UTC
CI: remove coverage instrumentation
Tip revision: 9a8e4a2
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