Revision 39b256278c8c54a3e67165ac0f602d5d57009e8e authored by Pierre-Yves Strub on 16 February 2022, 06:38:28 UTC, committed by Pierre-Yves Strub on 16 February 2022, 06:38:37 UTC
dune-site is currently in a very alpha-state and not stable enough. fix #99 fix #115
1 parent ce56b10
dune
(dirs src theories examples scripts)
(install
(section (bin))
(files (scripts/testing/runtest as ec-runtest)))
Computing file changes ...