From 590dc8c37adf0faee1085aae6627e521b27ac9fb Mon Sep 17 00:00:00 2001 From: Alistair Michael Date: Tue, 24 Sep 2024 14:32:15 +1000 Subject: [PATCH] remove unused --- aslp_server/lib/dune | 2 -- aslp_server/test/dune | 2 -- aslp_server/test/test_aslp_server.ml | 0 3 files changed, 4 deletions(-) delete mode 100644 aslp_server/lib/dune delete mode 100644 aslp_server/test/dune delete mode 100644 aslp_server/test/test_aslp_server.ml diff --git a/aslp_server/lib/dune b/aslp_server/lib/dune deleted file mode 100644 index adcd4474..00000000 --- a/aslp_server/lib/dune +++ /dev/null @@ -1,2 +0,0 @@ -(library - (name aslp_server)) diff --git a/aslp_server/test/dune b/aslp_server/test/dune deleted file mode 100644 index cc27592b..00000000 --- a/aslp_server/test/dune +++ /dev/null @@ -1,2 +0,0 @@ -(test - (name test_aslp_server)) diff --git a/aslp_server/test/test_aslp_server.ml b/aslp_server/test/test_aslp_server.ml deleted file mode 100644 index e69de29b..00000000