From 5b710da197369d9095333cd148299be4e88015cd Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Sun, 2 Jun 2024 10:32:51 +0200 Subject: [PATCH] Update client/public/locales/es/translation.json --- client/public/locales/es/translation.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/client/public/locales/es/translation.json b/client/public/locales/es/translation.json index d078e2b..a6480ec 100644 --- a/client/public/locales/es/translation.json +++ b/client/public/locales/es/translation.json @@ -35,7 +35,7 @@ "Current Goal": "Objetivo actual", "Further Goals": "Objetivos pendientes", "No Goals": "Sin objetivos", - "Loading goal…": "Cargando objetivo...", + "Loading goal…": "Cargando objetivo…", "Click somewhere in the Lean file to enable the infoview.": "Pulsa en algún lugar del archivo Lean para habilitar la vista de información.", "Waiting for Lean server to start…": "Esperando a que el servidor Lean se inicie...", "Level completed! 🎉": "Nivel completado 🎉",