diff lispintro/configure.in @ 71886:3af547480e66

Update.
author Károly Lőrentey <lorentey@elte.hu>
date Fri, 14 Jul 2006 05:51:02 +0000
parents 695cf19ef79e
children 375f2633d815
line wrap: on
line diff