From 892c70165a9ac03f8a099f4527cd055dbb58540c Mon Sep 17 00:00:00 2001 From: Luke Naylor Date: Fri, 12 Jan 2024 21:07:19 +0000 Subject: [PATCH] Minor: correct error in markdown --- doc/publish_game.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/publish_game.md b/doc/publish_game.md index 1afd3d9..368d299 100644 --- a/doc/publish_game.md +++ b/doc/publish_game.md @@ -1,6 +1,6 @@ # Publishing games -You can publish your game on the official (Lean Game Server)[https://adam.math.hhu.de] in a few simple +You can publish your game on the official [Lean Game Server](https://adam.math.hhu.de) in a few simple steps. ## 1. Upload Game to github