diff lispintro/configure @ 77015:7ce4823434db

Doc fix in commentary.
author Glenn Morris <rgm@gnu.org>
date Sat, 07 Apr 2007 03:00:23 +0000
parents 6d19c76d81c5
children
line wrap: on
line diff