From 9e8a2443450938a541be69e4724f63ee0cf1ebb5 Mon Sep 17 00:00:00 2001 From: Daniel Hines Date: Wed, 23 Nov 2022 12:52:17 -0500 Subject: [PATCH] drop dead code for deku cli --- deku-c/cli/dekuc_cli.ml | 1 - deku-c/cli/dune | 4 ---- 2 files changed, 5 deletions(-) delete mode 100644 deku-c/cli/dekuc_cli.ml delete mode 100644 deku-c/cli/dune 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))