https://gitlab.com/tezos/tezos
Raw File
Tip revision: 27545e3534946f61c230a345935efd35313ca8de authored by François Thiré on 31 January 2024, 09:40:37 UTC
DAL: No parameter needed for initialising the SRS
Tip revision: 27545e3
dune
(copy_files
  (alias copy-parameters)
  (mode (promote (until-clean)))
  (files ../lib_parameters/*.json))
back to top