https://gitlab.com/tezos/tezos
Raw File
Tip revision: 70f61c75cab8b741cb84fe63d8ccb99c700ebdd7 authored by Julien Coolen on 21 February 2023, 21:14:22 UTC
DAL/crypto: delete dead code
Tip revision: 70f61c7
dune
(copy_files
  (alias copy-parameters)
  (mode (promote (until-clean)))
  (files ../lib_parameters/*.json))
back to top