diff options
Diffstat (limited to '')
| -rw-r--r-- | l10n-it/devtools/client/jit-optimizations.properties | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/l10n-it/devtools/client/jit-optimizations.properties b/l10n-it/devtools/client/jit-optimizations.properties new file mode 100644 index 0000000000..a2d65c5799 --- /dev/null +++ b/l10n-it/devtools/client/jit-optimizations.properties @@ -0,0 +1,21 @@ +# 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/. + +# LOCALIZATION NOTE These strings are used within the JIT tools +# in the Performance Tools which is available from the Web Developer +# sub-menu -> 'Performance' The correct localization of this file might +# be to keep it in English, or another language commonly spoken among +# web developers. You want to make that choice consistent across the +# developer tools. A good criteria is the language in which you'd find the best +# documentation on web development on the web. + +jit.title = Ottimizzazioni JIT + +jit.optimizationFailure = Ottimizzazione non riuscita + +jit.samples = #1 campione;#1 campioni + +jit.types = Tipi + +jit.attempts = Tentativi |