fix for STG on landing page

2023-11-18 12:12:19 +01:00
parent 1b3993ad3e
commit 04c70ba522
2 changed files with 7 additions and 6 deletions
@@ -123,10 +123,10 @@ This is a good first introduction to Lean!"
      <GameTile
        title="Set Theory Game"
        gameId="g/djvelleman/STG4"
-        intro=""
+        intro="A game about set theory"
        description=""
-        worlds="?"
-        levels="?"
+        worlds="5"
+        levels="30"
        language="English"
        />