Skip to main content

Browse the archive

Revision 92f23dbf1681e8a738845a985ebcf2acfece20fc authored by Pierre-Yves Strub on 18 November 2021, 12:06:18 UTC, committed by Pierre-Yves Strub on 18 November 2021, 12:06:45 UTC 
Add the project name in dune-project
 
This is needed by "dune subst"

ref #99
1 parent 5e3929a
Raw File
dune 
(dirs src theories examples)
back to top