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' --- lib/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/dune') diff --git a/lib/dune b/lib/dune index 6da5e0a..0594758 100644 --- a/lib/dune +++ b/lib/dune @@ -1,3 +1,3 @@ (library - (name sand) + (name sandy) (libraries base stdio unix)) -- cgit v1.2.3