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 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/dune') 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)) -- cgit v1.2.3