diff options
| author | Miles Bader <[email protected]> | 2006-06-07 18:05:10 +0000 |
|---|---|---|
| committer | Miles Bader <[email protected]> | 2006-06-07 18:05:10 +0000 |
| commit | b883cdb2fefa8ea9c3b0d82eba7a9ee792f871bb (patch) | |
| tree | de3804210a8cd955e0d3b9abc15679480930bc82 /man/xresmini.texi | |
| parent | 885b7d0991bd4b4b8f4bd1d3cd21c18a697bbce2 (diff) | |
| parent | 26c9afc3239e18b03537faaea33e3e82e28099e6 (diff) | |
Merge from emacs--devo--0
Patches applied:
* emacs--devo--0 (patch 285-296)
- Update from CVS
- Merge from gnus--rel--5.10
- Update from CVS: admin/FOR-RELEASE: Update refcard section.
* gnus--rel--5.10 (patch 102-104)
- Update from CVS
Revision: [email protected]/emacs--unicode--0--patch-64
Diffstat (limited to 'man/xresmini.texi')
| -rw-r--r-- | man/xresmini.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/xresmini.texi b/man/xresmini.texi index 7445028e0b..7dc66d1e18 100644 --- a/man/xresmini.texi +++ b/man/xresmini.texi @@ -347,7 +347,7 @@ widget "Emacs.pane.menubar" style "my_style" widget "Emacs.pane.emacs.verticalScrollBar" style "my_style" @end smallexample -But to aoid having to type it all, wildcards are often used. @samp{*} +But to avoid having to type it all, wildcards are often used. @samp{*} matches zero or more characters and @samp{?} matches one character. So "*" matches all widgets. |