| Wed, 17 Jul 2002 08:12:04 +0000 |
Juanma Barranquero |
*** empty log message ***
|
| Wed, 17 Jul 2002 08:11:15 +0000 |
Juanma Barranquero |
(describe-function-1): Put empty line before "Not documented" text.
|
| Wed, 17 Jul 2002 07:30:57 +0000 |
Juanma Barranquero |
*** empty log message ***
|
| Wed, 17 Jul 2002 07:29:47 +0000 |
Juanma Barranquero |
(timer-set-time-with-usecs): Mark obsolete.
|
| Tue, 16 Jul 2002 22:46:09 +0000 |
Stefan Monnier |
(tool-bar-add-item-from-menu): Make sure to change the global tool-bar-map.
|
| Tue, 16 Jul 2002 20:53:59 +0000 |
Stefan Monnier |
*** empty log message ***
|
| Tue, 16 Jul 2002 20:44:23 +0000 |
Stefan Monnier |
(vc-default-comment-history): Hard code *vc*.
|
