https://gitlab.com/tezos/tezos
Raw File
Tip revision: 5844c82e99bbd1e61a2a39f5afecc60344c0f17f authored by Thomas Letan on 29 August 2022, 07:15:29 UTC
Alternative proposal for lazy trees
Tip revision: 5844c82
dune
(copy_files
  (alias copy-parameters)
  (mode (promote (until-clean)))
  (files ../lib_parameters/*.json))
back to top