| Mon, 01 Sep 2003 15:45:59 +0000 |
Miles Bader |
Add arch taglines
|
| Tue, 04 Feb 2003 11:26:42 +0000 |
Juanma Barranquero |
Trailing whitespace deleted.
|
| Fri, 06 Sep 2002 07:15:11 +0000 |
Juanma Barranquero |
(highlight-changes-colours, highlight-changes-active-string,
|
| Mon, 22 Apr 2002 15:27:08 +0000 |
Pavel Jank |
(global-highlight-changes): Capitalize status texts.
|
| Wed, 06 Feb 2002 15:32:16 +0000 |
Richard M. Stallman |
(highlight-changes-active-string): Default to +Chg.
|
| Fri, 01 Feb 2002 04:17:59 +0000 |
Richard M. Stallman |
(hilit-chg-fixup): Don't alter overlay if not ours.
|
| Fri, 30 Nov 2001 09:42:52 +0000 |
Stefan Monnier |
Doc fix.
|
