From 2591b62b53f80cec2bfce1466933c43098d69884 Mon Sep 17 00:00:00 2001 From: C Mahidharah Rajendran <84265216+Mahidharah@users.noreply.github.com> Date: Wed, 15 Nov 2023 22:16:14 +0800 Subject: [PATCH] Update UserGuide.md --- docs/UserGuide.md | 1 - 1 file changed, 1 deletion(-) diff --git a/docs/UserGuide.md b/docs/UserGuide.md index 5023330c53c..3db51380b6c 100644 --- a/docs/UserGuide.md +++ b/docs/UserGuide.md @@ -136,7 +136,6 @@ Here are some notes about these parameters. | `pri/` | priority of deadline | HIGH, MEDIUM, LOW | HIGH, MEDIUM, LOW | 5, 3.5, -1, high, M | -------------------------------------------------------------------------------------- ### Format #### General Formatting Here are the explanations behind the formatting we use through this guide.