diff options
| author | Glenn Morris <rgm@gnu.org> | 2015-03-24 23:32:40 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2015-03-24 23:32:40 -0700 |
| commit | dcac0090daa378d8db5c63b586c8ea664132a8ce (patch) | |
| tree | 8fc2b146c99c1d88a4380ac614aa8c9d3362467b /doc/misc | |
| parent | 3227a059177134df6c908639c099a6fe82dc16ad (diff) | |
| download | emacs-dcac0090daa378d8db5c63b586c8ea664132a8ce.tar.gz | |
* doc/misc/idlwave.texi: Fix typo in previous.
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/idlwave.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/idlwave.texi b/doc/misc/idlwave.texi index f6d702c4963..496674cd64b 100644 --- a/doc/misc/idlwave.texi +++ b/doc/misc/idlwave.texi @@ -3817,7 +3817,7 @@ equivalents (yet can be bookmarked, browsed as history, searched, etc.). @c Not updated in over a decade. -@C Maybe you want to recommend eww these days. +@c Maybe you want to recommend eww these days. @ignore @noindent Individual platform recommendations: |