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' --- bin/dune | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'bin/dune') diff --git a/bin/dune b/bin/dune index 87b4f4e..06a76ee 100644 --- a/bin/dune +++ b/bin/dune @@ -1,5 +1,5 @@ (executable - (public_name sand) + (public_name sandy) (name main) - (libraries sand) + (libraries sandy) (modes exe byte)) -- cgit v1.2.3