diff --git a/options/locale/locale_pt-PT.ini b/options/locale/locale_pt-PT.ini index 133f7d896..1a301ddde 100644 --- a/options/locale/locale_pt-PT.ini +++ b/options/locale/locale_pt-PT.ini @@ -268,8 +268,11 @@ users=Utilizadores organizations=Organizações search=Procurar code=Código +search.type.tooltip=Tipo de pesquisa search.fuzzy=Aproximada +search.fuzzy.tooltip=Incluir também os resultados que estejam próximos do termo de pesquisa search.match=Fiel +search.match.tooltip=Incluir somente os resultados que correspondam rigorosamente ao termo de pesquisa code_search_unavailable=A pesquisa por código-fonte não está disponível, neste momento. Entre em contacto com o administrador. repo_no_results=Não foram encontrados quaisquer repositórios correspondentes. user_no_results=Não foram encontrados quaisquer utilizadores correspondentes. @@ -507,6 +510,7 @@ activity=Trabalho público followers=Seguidores starred=Repositórios favoritos watched=Repositórios sob vigilância +code=Código projects=Planeamentos following=Que segue follow=Seguir @@ -1763,8 +1767,11 @@ activity.git_stats_deletion_n=%d eliminações search=Procurar search.search_repo=Procurar repositório +search.type.tooltip=Tipo de pesquisa search.fuzzy=Aproximada +search.fuzzy.tooltip=Incluir também os resultados que estejam próximos do termo de pesquisa search.match=Fiel +search.match.tooltip=Incluir somente os resultados que correspondam rigorosamente ao termo de pesquisa search.results=Resultados da procura de "%s" em %s search.code_no_results=Não foi encontrado qualquer código-fonte correspondente à sua pesquisa. search.code_search_unavailable=A pesquisa por código-fonte não está disponível, neste momento. Entre em contacto com o administrador. @@ -2310,6 +2317,7 @@ create_org=Criar organização repo_updated=Modificado people=Pessoas teams=Equipas +code=Código lower_members=membros lower_repositories=repositórios create_new_team=Nova equipa