diff lispintro/configure @ 72317:5e59478af974

update from texinfo
author Karl Berry <karl@gnu.org>
date Tue, 08 Aug 2006 16:27:41 +0000
parents 23a1cea22d13
children 6d19c76d81c5
line wrap: on
line diff