Thu, 02 Nov 2000 02:12:57 +0000 |
Miles Bader |
(info-menu-header): New face.
|
Thu, 02 Nov 2000 01:22:53 +0000 |
Miles Bader |
*** empty log message ***
|
Thu, 02 Nov 2000 01:21:46 +0000 |
Miles Bader |
Remove blank line at end.
|
Thu, 02 Nov 2000 01:21:11 +0000 |
Miles Bader |
(Info-insert-dir): Don't include blank lines at beginning of additional
|
Wed, 01 Nov 2000 23:31:59 +0000 |
Stefan Monnier |
*** empty log message ***
|
Wed, 01 Nov 2000 23:31:47 +0000 |
Stefan Monnier |
(define-minor-mode):
|
Wed, 01 Nov 2000 21:15:02 +0000 |
Kai Grojohann |
Explain nnmail-split-fancy-with-parent.
|