diff options
Diffstat (limited to 'app/profile/prefs.js')
| -rw-r--r-- | app/profile/prefs.js | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/app/profile/prefs.js b/app/profile/prefs.js deleted file mode 100644 index 8c6f0d6..0000000 --- a/app/profile/prefs.js +++ /dev/null @@ -1,13 +0,0 @@ -/* 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/. */ - -# Mozilla User Preferences - -/* Do not edit this file. - * - * If you make changes to this file while the browser is running, - * the changes will be overwritten when the browser exits. - * - * To make a manual change to preferences, you can visit the URL about:config - */ |