diff lispintro/configure.in @ 80965:265f7dace36d

Convert from PPM to PBM.
author Glenn Morris <rgm@gnu.org>
date Sat, 19 May 2007 05:04:49 +0000
parents 695cf19ef79e
children 375f2633d815
line wrap: on
line diff