ajaxorg/ace — pull request #957 by nightwing (2012-09-19 13:02:29+00:00)
Title: Themes and changelog 

a bit cleaned up version of changes from #931 (doesn't include replacing existing themes with autogenerated ones)
and changelog update

@lennartcl