diff lispintro/configure.in @ 79882:346392520448

*** empty log message ***
author Juanma Barranquero <lekktu@gmail.com>
date Sat, 19 Jan 2008 15:13:09 +0000
parents 695cf19ef79e
children 375f2633d815
line wrap: on
line diff