diff lispintro/missing @ 74318:27e318816f0a

Trivial fixes to developers' names.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 29 Nov 2006 16:16:55 +0000
parents e055d02d8b97
children 6d19c76d81c5
line wrap: on
line diff