# macOS leaves these files everywhere:
.DS_Store
# Created by `lake exe cache get` if no home directory is available
.cache
# `lake` stores its files here:
.lake
# Python bytecode cache directories
**/__pycache__/
# Progress file from scripts/rm_set_option.py
scripts/.rm_set_option_progress.jsonl
# Artifacts from using the devcontainer setup
.devcontainer/devcontainer-lock.json

# Output of scripts/export_crossrefs.lean
/crossrefs.json
