From 735b792bcf2a8cc1fb77c19c42e6362a9abb429f Mon Sep 17 00:00:00 2001 From: Alexandre Jesus Date: Mon, 1 Dec 2025 11:44:39 +0000 Subject: Initial commit --- dune-workspace | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 dune-workspace (limited to 'dune-workspace') diff --git a/dune-workspace b/dune-workspace new file mode 100644 index 0000000..7d622f0 --- /dev/null +++ b/dune-workspace @@ -0,0 +1,7 @@ +(lang dune 3.20) + +; SPDX-FileCopyrightText: Copyright 2025 Alexandre Jesus +; +; SPDX-License-Identifier: CC0-1.0 + +(profile release) \ No newline at end of file -- cgit v1.2.3