I was developing a new version of our site on a subdomain (dev.oursite.com) and the robots.txt with the disallow got replaced at some point, so the site got indexed by Google and other search engines. It's not showing up high in results or anything, but it has all duplicate content and I'd rather it not be there.
The subdomain is now gone and I have a 301 that redirects each page from dev.oursite.com/page-name to http://oursite.com/page-name
Is there anything else I need to do to get the dev site removed from showing up in Google? Will it disappear by itself eventually?