playframework/Play20 — pull request #755 by jroper (2013-02-19 15:34:31+00:00)
Title: Fixed up MiMa build settings for master

This is different from the merge for the 2.1.x build since in 2.1.x, we want it to actually run, where we don't care on master.