diff CONTRIBUTE @ 72095:2a66d3b6c808

(replace-match-string-symbols): Handle dotted lists.
author Richard M. Stallman <rms@gnu.org>
date Mon, 24 Jul 2006 16:52:57 +0000
parents a99d8ae1c5d9
children caa0a3ee1f41
line wrap: on
line diff