From 58b5af469b8e6467ad151809e7e1b8b249822058 Mon Sep 17 00:00:00 2001 From: Varun Gandhi Date: Thu, 26 Sep 2024 11:11:28 +0800 Subject: [PATCH] Run prettier --- docs/CLI.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/CLI.md b/docs/CLI.md index 3f896544..286ab593 100644 --- a/docs/CLI.md +++ b/docs/CLI.md @@ -88,7 +88,7 @@ DESCRIPTION: can be use for inspecting the output of an index in a visual way. Occurrences are marked with caret signs (^) and symbol information. - + For testing a SCIP indexer, you can either use this subcommand along with 'git diff' or equivalent, or you can use the dedicated 'test' subcommand for more targeted checks.