comparison man/mini.texi @ 42527:4d8c90315557

(texinfo-insert-@end): Fix the change from 2001-10-24.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 04 Jan 2002 13:08:14 +0000
parents de2f745df406
children 5be168598322
comparison
equal deleted inserted replaced
42526:6de0a2711fa9 42527:4d8c90315557