From 9f0d55c68f672a0674c5e7b397ec3d2c82369e92 Mon Sep 17 00:00:00 2001 From: yuxunn Date: Wed, 8 Nov 2023 23:00:00 +0800 Subject: [PATCH] UG --- docs/UserGuide.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/UserGuide.md b/docs/UserGuide.md index 621d6eb0c9b..30214d51c80 100644 --- a/docs/UserGuide.md +++ b/docs/UserGuide.md @@ -49,7 +49,7 @@ Here are some descriptions of the words we use throughout the User Guide: Extraneous parameters for commands that do not take in parameters (such as help, exit and clear) will be ignored. -e.g. if the command specifies `exit 2`, it will be interpreted as the `exit` command. +e.g. if the command specifies exit 2, it will be interpreted as the exit command. ### Add lead @@ -453,9 +453,9 @@ Example: find alice bob charlie``