diff options
| author | Moonchild <mcwerewolf@gmail.com> | 2018-06-19 02:48:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-19 02:48:56 +0200 |
| commit | e7b69b29df1593be14ce7c6efdad2f2c973a1c01 (patch) | |
| tree | 02acf498588790ca037cdf5db53c01b5c328c7fc /devtools/client/locales/en-US/sourceeditor.properties | |
| parent | 34302180b38e903c7c071b501cbc8be89efd56ec (diff) | |
| parent | 9a19018b3703f7a3aab88d167680b114fa1c4e6a (diff) | |
| download | UXP-e7b69b29df1593be14ce7c6efdad2f2c973a1c01.tar UXP-e7b69b29df1593be14ce7c6efdad2f2c973a1c01.tar.gz UXP-e7b69b29df1593be14ce7c6efdad2f2c973a1c01.tar.lz UXP-e7b69b29df1593be14ce7c6efdad2f2c973a1c01.tar.xz UXP-e7b69b29df1593be14ce7c6efdad2f2c973a1c01.zip | |
Merge pull request #515 from JustOff/PR_devtools_strings
Correct the browser and platform names in DevTools
Diffstat (limited to 'devtools/client/locales/en-US/sourceeditor.properties')
| -rw-r--r-- | devtools/client/locales/en-US/sourceeditor.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/client/locales/en-US/sourceeditor.properties b/devtools/client/locales/en-US/sourceeditor.properties index 842d549f0..42c5a0210 100644 --- a/devtools/client/locales/en-US/sourceeditor.properties +++ b/devtools/client/locales/en-US/sourceeditor.properties @@ -4,7 +4,7 @@ # LOCALIZATION NOTE These strings are used inside the Source Editor component. # This component is used whenever source code is displayed for the purpose of -# being edited, inside the Firefox developer tools - current examples are the +# being edited, inside the browser developer tools - current examples are the # Scratchpad and the Style Editor tools. # LOCALIZATION NOTE The correct localization of this file might be to keep it |