# Copied at build time by justfile for embedding
tools/
!tools/.gitkeep