Mon, 03 Sep 2007 06:18:58 +0000 |
Glenn Morris |
*** empty log message ***
|
Mon, 03 Sep 2007 06:17:52 +0000 |
Glenn Morris |
Remove CVS $Id$ header. Comment.
|
Sun, 02 Sep 2007 21:33:21 +0000 |
Richard M. Stallman |
*** empty log message ***
|
Sun, 02 Sep 2007 20:45:53 +0000 |
Richard M. Stallman |
*** empty log message ***
|
Sun, 02 Sep 2007 18:26:17 +0000 |
Andreas Schwab |
*** empty log message ***
|
Sun, 02 Sep 2007 18:26:04 +0000 |
Andreas Schwab |
Regenerate.
|
Sun, 02 Sep 2007 18:24:57 +0000 |
Andreas Schwab |
Use AS_HELP_STRING throughout.
|
Sun, 02 Sep 2007 18:22:41 +0000 |
Dan Nicolaescu |
(xterm-modify-other-keys-terminal-list): New
|