# Robots.txt for Jersey Boys!

User-agent: *
Disallow: /dev/