[gnome-user-docs/fix-typo: 17/17] gnome-help: remove duplicated 'of' in shell-workspaces-switch

[Petr Kovář <pmkovar src gnome org>]

commit f94dfd676643eeeef45d5ea36b121eec74749840
Author: Rafael Fontenelle <rffontenelle gmail com>
Date:   Tue Mar 3 13:36:28 2020 +0000

    gnome-help: remove duplicated 'of' in shell-workspaces-switch

 gnome-help/C/shell-workspaces-switch.page | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/gnome-help/C/shell-workspaces-switch.page b/gnome-help/C/shell-workspaces-switch.page
index 68eab3d1..e6747848 100644
--- a/gnome-help/C/shell-workspaces-switch.page
+++ b/gnome-help/C/shell-workspaces-switch.page
@@ -54,7 +54,7 @@
     the workspace shown above the current workspace in the workspace selector.
     </p>
     <p if:test="platform:gnome-classic">Press <keyseq><key>Ctrl</key>
-    <key>Alt</key><key>←</key></keyseq> to move to the workspace shown left of
+    <key>Alt</key><key>←</key></keyseq> to move to the workspace shown left
     of the current workspace on the <em>workspace selector</em>.</p>
   </item>
   <item>