Thu, 13 May 2004 01:23:07 +0000 |
Juanma Barranquero |
Fix description of new help arg highlighting.
|
Thu, 13 May 2004 01:18:00 +0000 |
Juanma Barranquero |
*** empty log message ***
|
Thu, 13 May 2004 01:17:12 +0000 |
Juanma Barranquero |
(help-arg-highlighting-function, help-argument-name): Delete.
|
Thu, 13 May 2004 00:33:27 +0000 |
Glenn Morris |
(Fdisplay_buffer, Fsplit_window, split-height-threshold): Doc fix.
|
Thu, 13 May 2004 00:32:26 +0000 |
Glenn Morris |
*** empty log message ***
|
Thu, 13 May 2004 00:22:16 +0000 |
Juanma Barranquero |
*** empty log message ***
|