Adding a robots.txt file to your web directory will over write the default one that WordPress uses.
Note that you can be no-indexing things with the WordPress SEO plugin that aren't included in your robots.txt file
I would give Webmaster Tools time to learn about your new settings.