Mon, 18 Jul 2005 15:24:00 +0000 |
Juri Linkov |
(font-lock-mode): Delete duplicate words.
|
Mon, 18 Jul 2005 15:23:04 +0000 |
Juri Linkov |
(basic-save-buffer): Delete duplicate words.
|
Mon, 18 Jul 2005 15:21:16 +0000 |
Juri Linkov |
(dired-omit-marker-char): Delete duplicate words.
|
Mon, 18 Jul 2005 15:18:33 +0000 |
Juri Linkov |
(dired-desktop-buffer-misc-data, dired-restore-desktop-buffer):
|
Mon, 18 Jul 2005 15:17:30 +0000 |
Juri Linkov |
(custom-known-themes): Delete duplicate words.
|
Mon, 18 Jul 2005 15:16:47 +0000 |
Juri Linkov |
(calculator-copy): Delete duplicate words.
|
Mon, 18 Jul 2005 15:15:19 +0000 |
Juri Linkov |
(allout-mode): Delete duplicate words.
|