playframework/Play20 — pull request #605 by cm0s (2012-12-11 16:40:52+00:00)
Title: Update documentation/manual/gettingStarted/IDE.md

idea with-sources doesn't work anymore. Use with-sources=yes instead.