ajaxorg/ace — pull request #812 by bootstraponline (2012-06-18 00:47:19+00:00)
Title: Add GitHub theme option to kitchen sink.

Add GitHub theme option to kitchen sink.