From 8ab5f20f532bc6e9de38ee457b0ef8dd30c80374 Mon Sep 17 00:00:00 2001 From: Marius Peter Date: Sun, 19 Jan 2025 20:00:18 +0100 Subject: Initial commit for ogit. --- bin/dune | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 bin/dune (limited to 'bin/dune') diff --git a/bin/dune b/bin/dune new file mode 100644 index 0000000..e1b7b0d --- /dev/null +++ b/bin/dune @@ -0,0 +1,6 @@ +(executable + (public_name ogit) + (name main) + (libraries + dream + ogit.handlers)) -- cgit v1.2.3