From 6b5fc80896e4e7d4ddd59e5bc07330e0959fa005 Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Sun, 2 Jun 2024 10:34:18 +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 23b4abe..af7354d 100644 --- a/client/public/locales/es/translation.json +++ b/client/public/locales/es/translation.json @@ -37,7 +37,7 @@ "No Goals": "Sin objetivos", "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...", + "Waiting for Lean server to start…": "Esperando a que el servidor Lean se inicie…", "Level completed! 🎉": "Nivel completado 🎉", "Level completed with warnings 🎭": "Nivel completado con advertencias 🎭", "Failed command": "Comando fallido",