diff man/mini.texi @ 36849:96998dbd0015

(Glossary): Fix last change.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 16 Mar 2001 18:18:06 +0000
parents d184144845bc
children 23f63206a867
line wrap: on
line diff