https://gitlab.com/tezos/tezos
Raw File
Tip revision: 044b31726233e62b9822d501571304af3e20733f authored by Gauthier SEBILLE on 20 October 2023, 12:28:38 UTC
RBT: block section for merge profiler
Tip revision: 044b317
dune
(copy_files
  (alias copy-parameters)
  (mode (promote (until-clean)))
  (files ../lib_parameters/*.json))
back to top