diff lispintro/configure @ 50672:bc4caf3dd19d

#
author André Spiegel <spiegel@gnu.org>
date Wed, 23 Apr 2003 13:19:36 +0000
parents 23a1cea22d13
children 6d19c76d81c5
line wrap: on
line diff