Mirrors
/
gitea
mirror of https://github.com/go-gitea/gitea.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[skip ci] Updated translations via Crowdin

This commit is contained in:
GiteaBot 2021-07-09 00:25:09 +00:00
parent 5e819ee1de
commit 6c6938e2ed
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
options/locale/locale_pt-PT.ini
View File

@ -1377,9 +1377,9 @@ pulls.tab_files=Ficheiros modificados
pulls.reopen_to_merge=Reabra este pedido de integração para executar uma integração.
pulls.cant_reopen_deleted_branch=Este pedido de integração não pode ser reaberto porque o ramo foi eliminado.
pulls.merged=Integrado
pulls.merged_as=A integração foi executada como <a rel="nofollow" class="ui sha" href="%[1]s"><code>%[2]s</code></a>.
pulls.merged_as=A integração foi executada no cometimento <a rel="nofollow" class="ui sha" href="%[1]s"><code>%[2]s</code></a>.
pulls.manually_merged=Integrado manualmente
pulls.manually_merged_as=A integração foi executada manualmente como <a rel="nofollow" class="ui sha" href="%[1]s"><code>%[2]s</code></a>.
pulls.manually_merged_as=A integração foi executada manualmente no cometimento <a rel="nofollow" class="ui sha" href="%[1]s"><code>%[2]s</code></a>.
pulls.is_closed=O pedido de integração foi fechado.
pulls.has_merged=A integração foi executada.
pulls.title_wip_desc=`<a href="#">Inicie o título com <strong>%s</strong></a> para evitar que a integração seja executada acidentalmente.`