sidekick/.gitignore
Simon Cruanes b0cb60ab67
gitignore
2022-07-18 23:27:07 -04:00

20 lines
193 B
Text

_build/
*.annot
*.native
*.log
*.status
.*.swp
.session
*.docdir
src/util/log.ml
doc/index.html
*.exe
.merlin
*.install
papers/
snapshots/
perf.*
.mypy_cache
*.gz
.git-blame-ignore-revs
*.json