diff make-dist @ 66334:1bd74e01cf90

(Fset_case_table): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Sun, 23 Oct 2005 17:26:32 +0000
parents 28718fa5d988
children 2cadd1e7bd46 0ca0d9181b5e
line wrap: on
line diff