From 9b9b67cd3191099724b2d22661ee9c1872f8aaa1 Mon Sep 17 00:00:00 2001 From: GiteaBot Date: Tue, 15 Oct 2019 13:42:26 +0000 Subject: [PATCH] [skip ci] Updated translations via Crowdin --- options/locale/locale_es-ES.ini | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/options/locale/locale_es-ES.ini b/options/locale/locale_es-ES.ini index 3d159799f..8d2e9d3ce 100644 --- a/options/locale/locale_es-ES.ini +++ b/options/locale/locale_es-ES.ini @@ -1369,6 +1369,10 @@ diff.parent=padre diff.commit=commit diff.git-notes=Notas diff.data_not_available=El contenido del Diff no está disponible +diff.options_button=Opciones de diferencias +diff.show_diff_stats=Mostrar estadísticas +diff.download_patch=Descargar archivo de parche +diff.download_diff=Descargar archivo de diferencias diff.show_split_view=Dividir vista diff.show_unified_view=Unificar vista diff.whitespace_button=Espacio blanco @@ -1451,6 +1455,8 @@ branch.restore_failed=Fallo al restaurar la rama %s. branch.protected_deletion_failed=La rama '%s' está protegida. No se puede eliminar. branch.restore=Restaurar rama '%s' branch.download=Descargar rama '%s' +branch.included_desc=Esta rama forma parte de la predeterminada +branch.included=Incluida topic.manage_topics=Administrar temas topic.done=Hecho