diff lispintro/configure.in @ 77432:ce79e069b798

*** empty log message ***
author Glenn Morris <rgm@gnu.org>
date Mon, 23 Apr 2007 01:20:02 +0000
parents 695cf19ef79e
children 375f2633d815
line wrap: on
line diff