add some translation keys

leanprover-community · Oct 17, 2024 · ab9d0d0 · ab9d0d0
1 parent 4ac38ef
commit ab9d0d0
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",