diff --git a/src/cc/plugin/dune b/src/cc/plugin/dune deleted file mode 100644 index 46f79cee..00000000 --- a/src/cc/plugin/dune +++ /dev/null @@ -1,5 +0,0 @@ -(library - (name Sidekick_cc_plugin) - (public_name sidekick.cc.plugin) - (libraries containers iter sidekick.sigs sidekick.cc sidekick.util) - (flags :standard -w +32 -open Sidekick_util))