diff --git a/.gitignore b/.gitignore index ee743a2..2935934 100644 --- a/.gitignore +++ b/.gitignore @@ -19,3 +19,7 @@ work/ # Generated by build.sh on every run (rule 8: never edited by hand). src/main.tex + +# Python bytecode, and per-session scratch work (backups, probes, OCR re-scan). +__pycache__/ +.scratch/ diff --git a/tools/__pycache__/polish.cpython-312.pyc b/tools/__pycache__/polish.cpython-312.pyc deleted file mode 100644 index 5cf7448..0000000 Binary files a/tools/__pycache__/polish.cpython-312.pyc and /dev/null differ