diff lispintro/configure @ 77001:ff64e13f3283

(Abbrevs): Remove useless index entry.
author Richard M. Stallman <rms@gnu.org>
date Sat, 07 Apr 2007 02:02:17 +0000
parents 6d19c76d81c5
children
line wrap: on
line diff