Girish Sharma b1e64ab3e3 Bug 825740 - [toolbox] gDevTools does not remove the menuitems upon unregistering of a tool, r=paul		2013-01-05 05:51:27 +05:30
..
browser_devtools_api.js	Bug 803067 - EventEmitter should have a decorator that isn't called 'new'. r=paul	2012-12-14 08:05:00 +01:00
browser_new_activation_workflow.js	Bug 813031 - gDevTools needs an API review [toolbox]; r=paul	2012-12-13 13:03:55 +00:00
browser_target_events.js
browser_toolbox_dynamic_registration.js	Bug 825740 - [toolbox] gDevTools does not remove the menuitems upon unregistering of a tool, r=paul	2013-01-05 05:51:27 +05:30
browser_toolbox_hosts.js	Bug 817543 - [toolbox] is slow to start. r=jwalker	2013-01-04 12:54:54 +01:00
browser_toolbox_ready.js	Bug 813031 - gDevTools needs an API review [toolbox]; r=paul	2012-12-13 13:03:55 +00:00
browser_toolbox_select_event.js	Bug 813031 - gDevTools needs an API review [toolbox]; r=paul	2012-12-13 13:03:55 +00:00
browser_toolbox_sidebar.js	Bug 813031 - gDevTools needs an API review [toolbox]; r=paul	2012-12-13 13:03:55 +00:00
browser_toolbox_tool_ready.js	Bug 813031 - gDevTools needs an API review [toolbox]; r=paul	2012-12-13 13:03:55 +00:00
head.js	Automated merge with ssh://hg.mozilla.org/integration/fx-team/	2012-12-13 15:26:29 +00:00
Makefile.in