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.