Skip to content

Commit 70f30ed

Browse files
committed
Remove root dune-workspace file
Only the versioned files are used by the CI
1 parent 766a45a commit 70f30ed

1 file changed

Lines changed: 0 additions & 12 deletions

File tree

dune-workspace

Lines changed: 0 additions & 12 deletions
This file was deleted.

0 commit comments

Comments
 (0)