aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
blob: c8fb80b8fb3c93784e0df4160df0b28e49f9ca23 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
# Preparatory/design/research material — kept local, NOT published:
# the design spec, brainstorming notes, and copyrighted normative-source scans.
docs/

# OCaml / dune build artifacts
_build/
_opam/
*.install
*.merlin

# OS / editor cruft
.DS_Store
*~
*.swp

# Python -- tools/check_citations.py and its self-test are run directly
# (not installed as a package), so this is the only Python artefact the
# repo ever produces.
tools/__pycache__/