*.olean
/_target
/leanpkg.path
_cache
__pycache__
all.lean
lint_mathlib.lean
nolints.lean
*.depend
