diff --git a/deku-c/cli/dekuc_cli.ml b/deku-c/cli/dekuc_cli.ml deleted file mode 100644 index 14347b043c..0000000000 --- a/deku-c/cli/dekuc_cli.ml +++ /dev/null @@ -1 +0,0 @@ -let () = print_endline "TODO: dekuc-cli" diff --git a/deku-c/cli/dune b/deku-c/cli/dune deleted file mode 100644 index 266d519a71..0000000000 --- a/deku-c/cli/dune +++ /dev/null @@ -1,4 +0,0 @@ -(executable - (name dekuc_cli) - (public_name dekuc-cli) - (libraries))