From 121a6a376209de3f5a9474bf03721e2032a73e01 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Mon, 13 May 2024 11:00:47 -0500
Subject: initial commit

---
 bin/.#main.ml | 1 +
 1 file changed, 1 insertion(+)
 create mode 120000 bin/.#main.ml

(limited to 'bin/.#main.ml')

diff --git a/bin/.#main.ml b/bin/.#main.ml
new file mode 120000
index 0000000..5a91e42
--- /dev/null
+++ b/bin/.#main.ml
@@ -0,0 +1 @@
+mccd@void.21115:1715189760
\ No newline at end of file
-- 
cgit v1.2.3