mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-11 14:28:42 +00:00
586aed9d72
Backed out changeset 456166433c71 (bug 1448077) Backed out changeset a826e8871e9f (bug 1448077) Backed out changeset 42b4ccfcb9c4 (bug 1448077) Backed out changeset c61caf7df6c7 (bug 1448077) --HG-- rename : devtools/client/preferences/devtools-client.js => devtools/client/preferences/devtools.js rename : devtools/client/webide/preferences/webide.js => devtools/client/webide/webide-prefs.js rename : devtools/startup/preferences/devtools-startup.js => devtools/startup/devtools-startup-prefs.js