diff man/makefile.w32-in @ 67512:979dc92f05ce

(Glossary): Minor cleanup.
author Richard M. Stallman <rms@gnu.org>
date Mon, 12 Dec 2005 00:56:19 +0000
parents e9bbecf3b555
children e7dceaa82aae fa0da9b57058
line wrap: on
line diff