diff lispref/symbols.texi @ 15630:de5c3eda52fc

Undo previous change.
author Karl Heuer <kwzh@gnu.org>
date Sun, 07 Jul 1996 23:00:30 +0000
parents 586e3ea81792
children 66d807bdc5b4
line wrap: on
line diff