ajaxorg/cloud9 — pull request #2296 by lennartcl (2012-10-09 13:02:24+00:00)
Title: [Liskov] [Trivial] Fix minor extension manager issues

Fixes for minor ext. mgr. usability issues.

@ajaxorg/liskov