diff BUGS @ 40595:3ba2b666d7e1

(define-button-type): Make sure every user-defined button type has a supertype.
author Miles Bader <miles@gnu.org>
date Thu, 01 Nov 2001 06:59:32 +0000
parents af68d12218d0
children 8ce686bd7f4f
line wrap: on
line diff