From 7dbb32f877d60c8e7d5282077dd9e657fd583e58 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Mon, 4 Dec 2023 08:22:24 -0600
Subject: Bam

---
 wormhole.opam | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 wormhole.opam

diff --git a/wormhole.opam b/wormhole.opam
new file mode 100644
index 0000000..e69de29
-- 
cgit v1.2.3