diff lispintro/configure @ 83698:eee88b98a5c2

Undo undocumented change.
author Dan Nicolaescu <dann@ics.uci.edu>
date Tue, 28 Aug 2007 07:48:41 +0000
parents 6d19c76d81c5
children
line wrap: on
line diff