From 1a9ef81f4b1253486c7a4a7029bd4d5832fafebb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20Kov=C3=A1=C5=99?= Date: Sun, 19 Mar 2023 06:12:00 +0000 Subject: Apply 1 suggestion(s) to 1 file(s) --- gnome-help/C/shell-keyboard-shortcuts.page | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gnome-help/C/shell-keyboard-shortcuts.page b/gnome-help/C/shell-keyboard-shortcuts.page index ddfb3704..7057d187 100644 --- a/gnome-help/C/shell-keyboard-shortcuts.page +++ b/gnome-help/C/shell-keyboard-shortcuts.page @@ -183,7 +183,7 @@ information on navigating user interfaces with only the keyboard.

CtrlShiftV

-

Paste the contents of the clipboard in the terminal.

+

Paste the contents of the clipboard in the Terminal.

-- cgit v1.2.1