Skip to main content

Browse the archive

Revision f0e15c248eb7b9e7eae2ec84f7b78d8bae827899 authored by Romain Tetley on 15 June 2023, 14:57:04 UTC, committed by GitHub on 15 June 2023, 14:57:04 UTC 
Turned the files in src into a lib called Core. (#397)
 
* Turned the files in src into a lib called core.

* Removed reference to dead code in dune file

The file ecCoreHiPhl was removed as dead code, no need
to exclude it in the dune file anymore.

---------

Co-authored-by: Romain Tetley <rtetley@inria.fr>
1 parent 8232d04
History
File Mode Size
docker
install
packaging
srctx
testing
dune -rw-r--r-- 15 bytes
back to top