diff man/glossary.texi @ 74936:85b8e38395e4

Update table of supported Make ports.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 27 Dec 2006 13:53:39 +0000
parents fc54af724e3c
children 3d45362f1d38 dbe3f29e61d6
line wrap: on
line diff