end-of-branch-exp/context-bootsrap
f62fd347 · * include/generate_headers.sh: Also erase context files directly ·