gecko-dev/devtools/client/webide/preferences
Julian Descottes e88b64543e Bug 1448077 - Move webide preferences file to dedicated /preferences folder;r=jryans
Changing the name for consistency purposes (see RFC
https://github.com/devtools-html/rfcs/issues/43)

MozReview-Commit-ID: BBXObtPaR00

--HG--
rename : devtools/client/webide/webide-prefs.js => devtools/client/webide/preferences/webide.js
extra : rebase_source : ee79e29d260ed147947babc1ff1dd1710e4f7128
2018-04-06 12:06:53 +02: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 1448077 - Move webide preferences file to dedicated /preferences folder;r=jryans 2018-04-06 12:06:53 +02:00