aboutsummaryrefslogtreecommitdiff
path: root/lib/containers/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2025-03-17 09:11:25 +0100
committerSébastien Dailly <sebastien@dailly.me>2025-03-17 18:59:32 +0100
commit8b8b730d3ba98d6c9e4e6274844641043b5fefbb (patch)
tree4cb60dafa05b479d0ca287d501a51db88cecaaa4 /lib/containers/dune
parent7bfbb67d83011f3e1845dcb9e44c3b6a5e93a9da (diff)
Moved the syntax module in its own library
Diffstat (limited to 'lib/containers/dune')
-rwxr-xr-xlib/containers/dune1
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/containers/dune b/lib/containers/dune
index 70bbf0b..d9b06cf 100755
--- a/lib/containers/dune
+++ b/lib/containers/dune
@@ -2,7 +2,6 @@
(name importContainers)
(libraries
importDataTypes
- importConf
)
(preprocess (pps
ppx_deriving.ord