[pt-PT] dom update
authorCarlos Simão
Wed, 10 Jun 2009 23:04:38 +0100
changeset 227 f6b724ad17aa911a3165ef9acc86ad9b818f8bc3
parent 226 6dc45bf4251fd28aee1488d63a6ccab83dcb022f
child 228 9d795fe3e9884096b4b2b5cac8eb544902512c30
push id204
push userlloco73@gmail.com
push dateWed, 10 Jun 2009 22:12:54 +0000
[pt-PT] dom update
dom/chrome/plugins.properties
--- a/dom/chrome/plugins.properties
+++ b/dom/chrome/plugins.properties
@@ -2,16 +2,16 @@
 #    Those strings are inserted into an HTML page, so you all HTML characters
 #    have to be escaped in a way that they show up correctly in HTML!
 
 title_label=Sobre os Plugins
 installedplugins_label=Plugins instalados
 nopluginsareinstalled_label=Não existem plugins instalados
 findmore_label=Para mais informações sobre os plugins do navegador consulte
 installhelp_label=Ajuda para a instalação dos plugins está disponível de
-filename_label=Nome do ficheiro:
+file_label=Nome do ficheiro:
 version_label=Versão :
 mimetype_label=Tipo de MIME
 description_label=Descrição
 suffixes_label=Sufixos
 enabled_label=Activado
 yes_label=Sim
 no_label=Não