Blame · .gitignore · 5f3979428225260493dcde7f455c741eaf6d3e24 · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

.gitignore 227 B

Newer Older

[build] Port build to Dune

Emilio Jesus Gallego Arias committed 5 years ago

# General ignores

Initial version.

Emilio Jesus Gallego Arias committed 9 years ago

*~

[64] Conditional 64-compilation attempt.

Shachar Itzhaky committed 5 years ago

.*.swp

# Config
/config.inc

[build] Port build to Dune

Emilio Jesus Gallego Arias committed 5 years ago


# Externals

[build] Set up a local switch.

Shachar Itzhaky committed 5 years ago

/_vendor*

[build] Port build to Dune

Emilio Jesus Gallego Arias committed 5 years ago

10 11 12 13 14 15 16 17 18


# Dune stuff
_build
.merlin
*.install

# Links for in-place serving
node_modules
coq-pkgs

[build] Create link `coq_worker.js`.

Shachar Itzhaky committed 5 years ago

/coq-js/jscoq_worker.js

[build] Port build to Dune

Emilio Jesus Gallego Arias committed 5 years ago


# Apple-stuff

BUGFIX: Log positioning and filtering.

Shachar Itzhaky committed 6 years ago

.DS_Store

[build] Port build to Dune

Emilio Jesus Gallego Arias committed 5 years ago

.AppleDouble