adobe/brackets — pull request #1307 by jason-sanjose (2012-07-27 18:53:40+00:00)
Title: disabled dev tools in brackets-shell

brackets-shell will omit ``brackets.app.showDeveloperTools()`` in a later pull request.

When in brackets-shell: Disable menu item, remove nav link in SpecRunner.