From 622e9d389768e8abb5b3103a65d07165587a27ad Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Thu, 30 Nov 2023 19:32:38 +0100 Subject: [PATCH] Update update_game.md --- doc/update_game.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/update_game.md b/doc/update_game.md index 8fcb037..99a00ed 100644 --- a/doc/update_game.md +++ b/doc/update_game.md @@ -32,7 +32,7 @@ This will your game (and the mathlib version you might be using) to the new lean ## Newest developing setup There are a few files in your game repository which are used for the developing setup -(dev container/codespaces/gitpod). If you need to update your're developing setup, for example because it doesn't work +(dev container/codespaces/gitpod). If you need to update your developing setup, for example because it doesn't work anymore, you will need to copy the relevant files from the [GameSkeleton](https://github.com/hhu-adam/GameSkeleton) template into your game repo. The relevant files are: