mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-20 16:55:40 +00:00
886ae7b748
We will be moving existing generic preferences for devtools from libpref/init/all.js to a new preferences file that will be devtools/preferences/devtools.js and that will always be shipped. We rename the current devtools.js to devtools-client.js to avoid conflicts when packaging the preference file to @RESPATH@/browser/@PREF_DIR@/devtools.js MozReview-Commit-ID: INnqWGBoIAF --HG-- rename : devtools/client/preferences/devtools.js => devtools/client/preferences/devtools-client.js extra : rebase_source : b0936c4b2f07c6e4ed3a9202be4c497baf5ae7c4
14 lines
391 B
Python
14 lines
391 B
Python
# -*- Mode: python; indent-tabs-mode: nil; tab-width: 40 -*-
|
|
# vim: set filetype=python:
|
|
# This Source Code Form is subject to the terms of the Mozilla Public
|
|
# License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
|
|
JS_PREFERENCE_PP_FILES += [
|
|
'devtools-client.js'
|
|
]
|
|
|
|
JS_PREFERENCE_FILES += [
|
|
'debugger.js',
|
|
]
|