Julian Descottes 293c15aec0 Bug 1492374 - Move all ADB related preferences out of webide;r=ladybenko ... While this is not strictly related for uninstalling ADB helper this small cleanup avoids duplicating the declaration of the adb extension in two different preferences. The URL preference also moves to a devtools-shared preference as there is not much sense to keep it webide only. Differential Revision: https://phabricator.services.mozilla.com/D7057 --HG-- extra : moz-landing-system : lando		2018-10-01 11:40:23 +00:00
..
moz.build	Bug 1448077 - Move webide preferences file to dedicated /preferences folder;r=jryans	2018-04-06 12:06:53 +02:00
webide.js	Bug 1492374 - Move all ADB related preferences out of webide;r=ladybenko	2018-10-01 11:40:23 +00:00