phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update client/public/locales/es/translation.json

Browse Source
This commit is contained in:
Jon Eugster
2024-06-02 10:32:51 +02:00
committed by GitHub
parent b275bbb94f
commit 5b710da197
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
client/public/locales/es/translation.json
+1 -1
View File
@@ -35,7 +35,7 @@
"Current Goal": "Objetivo actual", "Current Goal": "Objetivo actual",
"Further Goals": "Objetivos pendientes", "Further Goals": "Objetivos pendientes",
"No Goals": "Sin objetivos", "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.", "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! 🎉": "Nivel completado 🎉",