diff configure @ 69770:8b9279d58ebd

5-arg pxref
author Karl Berry <karl@gnu.org>
date Mon, 03 Apr 2006 00:26:06 +0000
parents 69fa3d958119
children b99080e25b28 81f2d90dee68 482dfed28bee
line wrap: on
line diff