summaryrefslogtreecommitdiffstats
path: root/dune-workspace
diff options
context:
space:
mode:
authorAlexandre Jesus <adbjesus@gmail.com>2025-12-01 11:44:39 +0000
committerAlexandre Jesus <adbjesus@gmail.com>2025-12-01 11:44:39 +0000
commit735b792bcf2a8cc1fb77c19c42e6362a9abb429f (patch)
tree4f141174fbc2468d2e47b3c30ae7d171197270f2 /dune-workspace
downloadaoc2025-735b792bcf2a8cc1fb77c19c42e6362a9abb429f.tar.gz
aoc2025-735b792bcf2a8cc1fb77c19c42e6362a9abb429f.zip
Initial commit
Diffstat (limited to 'dune-workspace')
-rw-r--r--dune-workspace7
1 files changed, 7 insertions, 0 deletions
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 <https://adbjesus.com>
+;
+; SPDX-License-Identifier: CC0-1.0
+
+(profile release) \ No newline at end of file