ajaxorg/cloud9 — pull request #2058 by cadorn (2012-08-16 22:08:54+00:00)
Title: [knuth] removed wrong config setting

This fixes issue #2004