scala/scala — pull request #901 by paulp (2012-07-13 17:31:43+00:00)
Title: Removed AestheticSettings.

Review by @odersky.