Julian Descottes aa51f2b0c0 Bug 1448077 - Move devtools-startup 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: EahEwoR9eBF --HG-- rename : devtools/startup/devtools-startup-prefs.js => devtools/startup/preferences/devtools-startup.js extra : rebase_source : eddc92413f69a80884d9dc26a6b603af2ce04b41		2018-04-06 12:10:10 +02:00
..
devtools-startup.js	Bug 1448077 - Move devtools-startup preferences file to dedicated /preferences folder;r=jryans	2018-04-06 12:10:10 +02:00
moz.build	Bug 1448077 - Move devtools-startup preferences file to dedicated /preferences folder;r=jryans	2018-04-06 12:10:10 +02:00