diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2015-05-28 00:06:14 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2015-05-28 00:22:03 -0700 |
commit | dfc2ef11a84d33eab916ff87b8537f8e28c05c92 (patch) | |
tree | b196ac609a67987d5e1e756860de51b4361c8bd2 /etc | |
parent | 0fd5e6593af620863dcf90dff5d04631458e24cd (diff) | |
download | emacs-dfc2ef11a84d33eab916ff87b8537f8e28c05c92.tar.gz |
Fix minor quoting problems in doc strings
Most of these fixes involve escaping grave accents that are
actually intended to be grave accents, not left quotes.
(Bug#20385)
Diffstat (limited to 'etc')
-rw-r--r-- | etc/edt-user.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/edt-user.el b/etc/edt-user.el index e0f5b2943cb..2666856fcaa 100644 --- a/etc/edt-user.el +++ b/etc/edt-user.el @@ -160,7 +160,7 @@ G-C-\\: Split Window G-%: Go to Percentage G- : Undo (GOLD Spacebar) G-=: Go to Line - G-`: What line + G-\\=`: What line G-/: Query-Replace" (interactive) |