Skip to content

Commit

Permalink
chore: remove unused opam libraries (#11472)
Browse files Browse the repository at this point in the history
OpamState and OpamRepository are not used

Signed-off-by: Rudi Grinberg <[email protected]>
  • Loading branch information
rgrinberg authored Feb 10, 2025
1 parent ec3ac37 commit 1f98e45
Show file tree
Hide file tree
Showing 51 changed files with 1 addition and 11,933 deletions.
5 changes: 0 additions & 5 deletions vendor/opam/src/repository/dune

This file was deleted.

208 changes: 0 additions & 208 deletions vendor/opam/src/repository/opamDarcs.ml

This file was deleted.

16 changes: 0 additions & 16 deletions vendor/opam/src/repository/opamDarcs.mli

This file was deleted.

Loading

0 comments on commit 1f98e45

Please sign in to comment.