diff man/woman.texi @ 77637:17f1d9e091ba

ignore *.pdf
author Karl Berry <karl@gnu.org>
date Thu, 03 May 2007 16:31:03 +0000
parents 88224dc74061
children 02b9a9aa5b0c dc002877ce12 e6fdae9180d4
line wrap: on
line diff