aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-04 08:19:29 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-04 08:19:29 -0600
commitce792e552d27e3c83251f11434795095dea7a93f (patch)
tree4a8539d59cd072c9f7e0dca0d4fc4811832f19a5 /.gitignore
parentcf89e5ae5aade4a1bac676215289c9ee6db71b75 (diff)
downloadwormhole-ce792e552d27e3c83251f11434795095dea7a93f.tar.gz
wormhole-ce792e552d27e3c83251f11434795095dea7a93f.tar.bz2
wormhole-ce792e552d27e3c83251f11434795095dea7a93f.zip
Try again
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 5c52b1f..b26b1d5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,6 +10,7 @@ _opam/
node_modules/
example/*/package-lock.json
+.wormhole.opam
# esy
_esy/
esy.lock