Merge branch 'dev' into feat/assignment-page

This commit is contained in:
Laure Jablonski 2025-04-21 08:29:47 +02:00 committed by GitHub
commit 9dcc1091cc
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
20 changed files with 148 additions and 53 deletions

View file

@ -89,6 +89,8 @@
"failed": "échoué",
"wrong": "quelque chose n'a pas fonctionné",
"created": "créé",
"callbackLoading": "Vous serez connecté...",
"loginUnexpectedError": "La connexion a échoué",
"submitSolution": "Soumettre la solution",
"submitNewSolution": "Soumettre une nouvelle solution",
"markAsDone": "Marquer comme terminé",