diff man/eshell.texi @ 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 730f77edf073
children 1bcf7f390ca2
line wrap: on
line diff