From 6386474ac8a4b113d5c9b4aa2b03104b7f219371 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 23 Jan 2024 18:26:50 +0100 Subject: refarctor: rename project to 'sandy' --- test/dune | 2 +- test/test_sand.ml | 0 test/test_sandy.ml | 0 3 files changed, 1 insertion(+), 1 deletion(-) delete mode 100644 test/test_sand.ml create mode 100644 test/test_sandy.ml (limited to 'test') diff --git a/test/dune b/test/dune index 718218c..f53385a 100644 --- a/test/dune +++ b/test/dune @@ -1,2 +1,2 @@ (test - (name test_sand)) + (name test_sandy)) diff --git a/test/test_sand.ml b/test/test_sand.ml deleted file mode 100644 index e69de29..0000000 diff --git a/test/test_sandy.ml b/test/test_sandy.ml new file mode 100644 index 0000000..e69de29 -- cgit v1.2.3