Newer
Older
# Local build configuration file
# Dune stuff
_build
.merlin
*.install
# - npm packages
/*.tgz
# Links for in-place serving
/backend/jsoo/jscoq_worker.bc.js
# Local build configuration file
# Dune stuff
_build
.merlin
*.install
# - npm packages
/*.tgz
# Links for in-place serving
/backend/jsoo/jscoq_worker.bc.js