comparison man/mini.texi @ 37486:d7bf0f33e402

Add @need before Deletion node. Don't try to draw a left arrow with @key{<-}.
author Richard M. Stallman <rms@gnu.org>
date Thu, 26 Apr 2001 00:31:11 +0000
parents d184144845bc
children 23f63206a867
comparison
equal deleted inserted replaced
37485:12064cf8f86f 37486:d7bf0f33e402