diff lispintro/configure @ 51929:3da2cf447bf9

Revert last change.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 14 Jul 2003 20:39:39 +0000
parents 23a1cea22d13
children 6d19c76d81c5
line wrap: on
line diff