Closed Chouhartem closed 7 months ago
Hello 🐱,
Just a quickfix of the project name in dune. The old name makes the build fail otherwise…
dune
Cheers, – Chouhartem
Thanks!
Hello 🐱,
Just a quickfix of the project name in
dune
. The old name makes the build fail otherwise…Cheers, – Chouhartem