Skip to content
Snippets Groups Projects
.gitignore 377 B
Newer Older
# General ignores
# Local build configuration file
/_vendor*

# Dune stuff
_build
.merlin
*.install


# Links for in-place serving
/backend/jsoo/jscoq_worker.bc.js
/backend/wasm/wacoq_worker.bc