Wed, 24 Jun 1998 09:11:10 +0000 |
Andreas Schwab |
(gnus-prompt-before-saving): Use `other' widget
|
Wed, 24 Jun 1998 09:09:56 +0000 |
Andreas Schwab |
(font-lock-verbose): Use `other' widget type.
|
Wed, 24 Jun 1998 09:08:57 +0000 |
Andreas Schwab |
(version-control, delete-old-versions,
|
Wed, 24 Jun 1998 09:07:36 +0000 |
Andreas Schwab |
(fast-lock-verbose): Use `other' widget type.
|
Wed, 24 Jun 1998 09:06:56 +0000 |
Andreas Schwab |
(copyright-query): Use `other' widget
|
Wed, 24 Jun 1998 09:05:39 +0000 |
Andreas Schwab |
(checkdoc-autofix-flag): Use `other'
|
Wed, 24 Jun 1998 09:02:58 +0000 |
Andreas Schwab |
(byte-compile-generate-call-tree):
|