| Mon, 11 Jul 2005 06:12:55 +0000 |
Juanma Barranquero |
*** empty log message ***
|
| Mon, 11 Jul 2005 06:09:37 +0000 |
Juanma Barranquero |
(custom-enable-theme): Don't add theme to `custom-enabled-themes' with `push'
|
| Mon, 11 Jul 2005 05:41:57 +0000 |
Richard M. Stallman |
*** empty log message ***
|
| Mon, 11 Jul 2005 05:41:45 +0000 |
Richard M. Stallman |
(custom-declare-variable): Doc fix.
|
| Mon, 11 Jul 2005 04:25:01 +0000 |
Richard M. Stallman |
*** empty log message ***
|
| Mon, 11 Jul 2005 04:24:46 +0000 |
Richard M. Stallman |
(dired-compare-directories): Remove "." and ".." from the alists.
|
| Mon, 11 Jul 2005 04:05:39 +0000 |
Richard M. Stallman |
*** empty log message ***
|
| Mon, 11 Jul 2005 04:05:07 +0000 |
Richard M. Stallman |
(edebug-slow-after, edebug-slow-before): Do nothing if edebug-active.
|
| Mon, 11 Jul 2005 01:05:17 +0000 |
Richard M. Stallman |
Fix previous change.
|
| Mon, 11 Jul 2005 00:57:23 +0000 |
Richard M. Stallman |
(custom-push-theme): Maintain list of the settings
|
| Mon, 11 Jul 2005 00:56:53 +0000 |
Richard M. Stallman |
(custom-theme-set-faces): Make it work.
|
| Mon, 11 Jul 2005 00:36:10 +0000 |
Richard M. Stallman |
*** empty log message ***
|
