Skip to main content

Browse the archive

Revision 56054fd63daac6e26b37efc5572236ba75a2ad1f authored by oskgo on 18 October 2022, 22:05:21 UTC, committed by Pierre-Yves Strub on 19 October 2022, 06:41:28 UTC 
Fix typos in user messages
1 parent 2a75df5
Raw File
dune 
(dirs src theories examples scripts)

(install
  (section (bin))
  (files (scripts/testing/runtest as ec-runtest)))
back to top