diff lispintro/configure @ 80124:c012805916a7

Fixed Drew Adams 12 Aug problem
author Jason Rumney <jasonr@gnu.org>
date Fri, 15 Feb 2008 17:26:10 +0000
parents 6d19c76d81c5
children
line wrap: on
line diff