diff lispintro/configure @ 58241:4aa6d60fc66c

Fix typos & pr-switches-string
author Vinicius Jose Latorre <viniciusjl@ig.com.br>
date Mon, 15 Nov 2004 19:31:54 +0000
parents 23a1cea22d13
children 6d19c76d81c5
line wrap: on
line diff