diff man/anti.texi @ 27562:d6607102aa71

Various fixes for new development tree.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 01 Feb 2000 16:46:49 +0000
parents ac7e9e5e2ccb
children e68fb610cc11
line wrap: on
line diff