diff options
Diffstat (limited to 'base/content/global-devtools-theme-scripts.inc')
| -rw-r--r-- | base/content/global-devtools-theme-scripts.inc | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/base/content/global-devtools-theme-scripts.inc b/base/content/global-devtools-theme-scripts.inc deleted file mode 100644 index 408728e..0000000 --- a/base/content/global-devtools-theme-scripts.inc +++ /dev/null @@ -1,6 +0,0 @@ -# -*- Mode: Java; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- -# 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/. - -<script type="application/javascript" src="chrome://browser/content/browser-devtools-theme.js"/> |