Paul Rouget 6b99371a4c Bug 1028378 - Changing runtime should disconnect the current one. r=jryans		2014-08-01 14:47:37 +02:00
..
components	Bug 1020739 - kill WebIDE command line support. r=jryans	2014-07-15 21:03:24 +02:00
content	Bug 1045652 - fix manifest overwrite. r=jryans	2014-07-30 14:32:00 +02:00
locales/en-US	Bug 1046027 - Add sourceeditor keybinding preference to WebIDE pref panel. r=jryans	2014-07-30 14:31:59 +02:00
modules	Bug 1028378 - Changing runtime should disconnect the current one. r=jryans	2014-08-01 14:47:37 +02:00
test	Bug 1020739 - kill WebIDE command line support. r=jryans	2014-07-15 21:03:24 +02:00
themes	Bug 1045084 - Make WebIDE Preferences less confusing. r=paul	2014-07-29 12:22:07 +02:00
Makefile.in	Bug 1043957 - remove some libs:: rules from devtools's Makefile.ins; r=mshal	2014-07-25 09:38:15 -04:00
moz.build	Bug 1043820 - Remove PARALLEL_DIRS. r=gps	2014-07-29 08:57:59 +09:00
webide-prefs.js	Bug 1020288 - Add a Runtime Monitor to WebIDE. r=paul	2014-07-28 16:13:54 +02:00