aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-02 09:49:42 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-02 09:49:42 -0600
commit69d3f53365568524e18dfb1200a386309e174359 (patch)
tree30e465d36ea03bceb1f4e9b54aadfdb6d7093162 /.gitignore
downloadwormhole-69d3f53365568524e18dfb1200a386309e174359.tar.gz
wormhole-69d3f53365568524e18dfb1200a386309e174359.tar.bz2
wormhole-69d3f53365568524e18dfb1200a386309e174359.zip
Initial commit
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore31
1 files changed, 31 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..5c52b1f
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,31 @@
+# Dune
+_build/
+.merlin
+*.install
+
+# opam
+_opam/
+
+# npm
+node_modules/
+example/*/package-lock.json
+
+# esy
+_esy/
+esy.lock
+
+# Release script
+dream-*.gz
+dream-*/
+
+# Bisect_ppx
+_coverage/
+
+# Humans
+scratch/
+
+# Editors
+.vscode/
+*.swp
+
+private.pem