commit | 9b2e37f6882d85c2e7cb9ce24a02e9c60a237b25 | [log] [tgz] |
---|---|---|
author | Serhiy Storchaka <storchaka@gmail.com> | Sat Sep 12 17:47:12 2015 +0300 |
committer | Serhiy Storchaka <storchaka@gmail.com> | Sat Sep 12 17:47:12 2015 +0300 |
tree | 084f20a462d0e8579fbd92aacb238ab62271bb5a | |
parent | b2528c92f139195e8a3c745833ad1cd0ff4bc0f2 [diff] [blame] |
Marked keystrokes with the :kbd: role. Fixed the case of the "Ctrl-" prefixes.
diff --git a/Doc/faq/extending.rst b/Doc/faq/extending.rst index ccd8b28..ade88ae 100644 --- a/Doc/faq/extending.rst +++ b/Doc/faq/extending.rst
@@ -345,7 +345,7 @@ { line = readline (prompt); - if (NULL == line) /* CTRL-D pressed */ + if (NULL == line) /* Ctrl-D pressed */ { done = 1; }