From eedee762b70e3e174d17bd52295a2d32afa3c3c3 Mon Sep 17 00:00:00 2001 From: Varun Patil Date: Tue, 20 Oct 2020 04:04:40 +0530 Subject: [PATCH] Fix shell indentation --- extra/shell.html | 294 +++++++++++++++++++++++------------------------ 1 file changed, 146 insertions(+), 148 deletions(-) diff --git a/extra/shell.html b/extra/shell.html index adf066d..7b17b90 100644 --- a/extra/shell.html +++ b/extra/shell.html @@ -178,184 +178,182 @@