https://gitlab.com/tezos/tezos
Raw File
Tip revision: 5b19bb8edabc9bae89b7df25fd74a32d7de590b6 authored by Felix Puscasu on 15 February 2024, 16:44:21 UTC
RISC-V: Smrnmi-ext: WPRI checks
Tip revision: 5b19bb8
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