bump gameserver

hhu-adam · Dec 8, 2023 · eba9a1a · eba9a1a
1 parent b6332d3
commit eba9a1a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Game.lean b/Game.lean
@@ -22,7 +22,7 @@ Languages "English"
 CaptionShort "Game Template"
 CaptionLong "You should use this game as a template for your own game and add your own levels."
 -- Prerequisites "" -- add this if your game depends on other games
--- Image "" -- TODO: Not implemented
+-- CoverImage "images/cover.png"
 
 /-! Build the game. Show's warnings if it found a problem with your game. -/
 MakeGame
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -13,7 +13,7 @@
   {"url": "https://github.com/leanprover-community/lean4game.git",
    "type": "git",
    "subDir": "server",
-   "rev": "f6a2632d80c22a28a3b6e099a4800b027cc2d685",
+   "rev": "d5697d052e5154b909f379073a591ebf66eb3e22",
    "name": "GameServer",
    "manifestFile": "lake-manifest.json",
    "inputRev": "v4.3.0",