Tue, 17 Oct 2000 12:18:11 +0000 |
Eli Zaretskii |
*** empty log message ***
|
Tue, 17 Oct 2000 12:13:09 +0000 |
Gerd Moellmann |
*** empty log message ***
|
Tue, 17 Oct 2000 12:12:00 +0000 |
Eli Zaretskii |
(diff-header-face, diff-file-header-face)
|
Tue, 17 Oct 2000 12:10:40 +0000 |
Gerd Moellmann |
(fancy-splash-text): Realign the text.
|
Tue, 17 Oct 2000 12:07:28 +0000 |
Eli Zaretskii |
*** empty log message ***
|
Tue, 17 Oct 2000 12:00:37 +0000 |
Eli Zaretskii |
(font-lock-comment-face): Define a separate default
|
Tue, 17 Oct 2000 11:57:30 +0000 |
Eli Zaretskii |
Fix a typo.
|