diff configure @ 99711:124fd13a2a38

Manuals GFDL 1.3+.
author Glenn Morris <rgm@gnu.org>
date Wed, 19 Nov 2008 04:31:18 +0000
parents 22693272e407
children 816fe1a75404
line wrap: on
line diff