https://gitlab.com/tezos/tezos
Raw File
Tip revision: d1326d51a6c95d7b775a128c0d59966acc2a3010 authored by Anne-Laure on 25 July 2023, 12:15:18 UTC
dropme
Tip revision: d1326d5
dune
(copy_files
  (alias copy-parameters)
  (mode (promote (until-clean)))
  (files ../lib_parameters/*.json))
back to top