From 42720eba37e2e39dfafd523f0cf1c0b378ea2e1a Mon Sep 17 00:00:00 2001 From: Isaac Good Date: Sun, 16 Feb 2020 10:52:48 -0800 Subject: [PATCH] Put GUIDE tags back in --- shell.xml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/shell.xml b/shell.xml index d8d0487..ad7d8cb 100644 --- a/shell.xml +++ b/shell.xml @@ -1,5 +1,7 @@ + The guide has been modes to shellguide.html. +