Directory listing for /CMassY5/.smbatcher/

• .lean-ctx/
• batches/
• REGISTRY.lock
• REGISTRY.md
• runs/
• SIMPLEMENT_local.md