Mon, 21 Apr 1997 03:55:17 +0000 |
Richard M. Stallman |
(custom-face-set): Don't copy an empty face,
|
Mon, 21 Apr 1997 03:53:02 +0000 |
Richard M. Stallman |
Comment change.
|
Sun, 20 Apr 1997 22:14:53 +0000 |
Richard M. Stallman |
(x_set_offset): Turn off the code that added the border_width
|
Sun, 20 Apr 1997 21:02:06 +0000 |
Richard M. Stallman |
(texinfo-master-menu-header): Delete newline at start.
|
Sun, 20 Apr 1997 07:33:52 +0000 |
Richard M. Stallman |
Comment change.
|
Sun, 20 Apr 1997 07:29:56 +0000 |
Richard M. Stallman |
Initial revision
|
Sun, 20 Apr 1997 01:37:09 +0000 |
Richard M. Stallman |
(skeleton-read): Fix previous change.
|