diff options
author | Glenn Morris <rgm@gnu.org> | 2018-03-28 15:00:58 -0400 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2018-03-28 15:00:58 -0400 |
commit | ff49d86b6419f88205ff9a5d8b1cc46fcda8371c (patch) | |
tree | de42b4316207b7c2300d2e05916b165b5992e0e4 | |
parent | 5bab671521774ba646ab3dff642e7c33fdf98864 (diff) | |
download | emacs-ff49d86b6419f88205ff9a5d8b1cc46fcda8371c.tar.gz |
* doc/emacs/misc.texi (Amusements): Avoid non-printing character.
; Hey fellow kids, remember that gag from 2008? Emacs does.
-rw-r--r-- | doc/emacs/misc.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/emacs/misc.texi b/doc/emacs/misc.texi index 28ff8a0adb7..12ebfbf26ac 100644 --- a/doc/emacs/misc.texi +++ b/doc/emacs/misc.texi @@ -3011,7 +3011,7 @@ is idle. @findex butterfly @cindex butterfly - Real Programmers™ deploy @kbd{M-x butterfly}, which uses butterflies + ``Real Programmers'' deploy @kbd{M-x butterfly}, which uses butterflies to flip a bit on the drive platter, see @uref{https://xkcd.com/378}. @findex doctor |