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):
|
Wed, 24 Jun 1998 08:58:39 +0000 |
Andreas Schwab |
(ad-redefinition-action,
|
Wed, 24 Jun 1998 08:58:07 +0000 |
Andreas Schwab |
(ediff-autostore-merges): Use `other' widget
|