Sat, 20 Jul 2002 22:16:01 +0000 |
Richard M. Stallman |
*** empty log message ***
|
Sat, 20 Jul 2002 22:15:15 +0000 |
Richard M. Stallman |
(widget-documentation-string-value-create):
|
Sat, 20 Jul 2002 22:14:36 +0000 |
Richard M. Stallman |
(custom-variable-value-create):
|
Sat, 20 Jul 2002 22:09:46 +0000 |
Richard M. Stallman |
(display-warning, warn, lwarn): Add autoload cookie.
|
Sat, 20 Jul 2002 22:02:57 +0000 |
Richard M. Stallman |
*** empty log message ***
|
Sat, 20 Jul 2002 22:02:45 +0000 |
Richard M. Stallman |
(toggle-read-only): Clean up the hint message.
|