diff options
author | Gerd Moellmann <gerd@gnu.org> | 2001-08-20 10:36:41 +0000 |
---|---|---|
committer | Gerd Moellmann <gerd@gnu.org> | 2001-08-20 10:36:41 +0000 |
commit | 8039284a4af89d5881bd6e3077b848cc29ad016b (patch) | |
tree | e0b5d2170a5b2b0c190f7919501a2f45f1174603 /man/search.texi | |
parent | cd3f709e83f7af11e7b690dfb977c496ca378cc4 (diff) | |
download | emacs-8039284a4af89d5881bd6e3077b848cc29ad016b.tar.gz |
(texinfo-every-node-update): Remove
some space from a message. From Pavel Jan,Bm(Bk <Pavel@Janik.cz>.
Diffstat (limited to 'man/search.texi')
0 files changed, 0 insertions, 0 deletions