From 0b8a0e1b04224a5851715f87a2899d19b2687986 Mon Sep 17 00:00:00 2001 From: carlocamilloni Date: Wed, 30 Sep 2020 12:05:11 +0200 Subject: [PATCH] doc --- user-doc/Maze.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/user-doc/Maze.md b/user-doc/Maze.md index 8fdf1bf451..bcf7950ad5 100644 --- a/user-doc/Maze.md +++ b/user-doc/Maze.md @@ -1,7 +1,7 @@ \page MAZE MAZE