Merge pull request #182 from lnay/patch-1

Minor: correct error in markdown
leanprover-community · Jan 15, 2024 · b7eb151 · b7eb151
2 parents e579071 + 892c701
commit b7eb151
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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