Merge pull request #268 from chabulhwi/add-translation-keys

add some translation keys
leanprover-community · Oct 20, 2024 · ed96cf9 · ed96cf9
2 parents 4ac38ef + ab9d0d0
commit ed96cf9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/client/public/locales/en/translation.json b/client/public/locales/en/translation.json
@@ -68,6 +68,10 @@
   "Worlds": "Worlds",
   "Levels": "Levels",
   "Language": "Language",
+  "Server capacity": "Server capacity",
+  "RAM": "RAM",
+  "CPU": "CPU",
+  "used": "used",
   "Development notes": "Development notes",
   "Adding new games": "Adding new games",
   "Funding": "Funding",