diff make-dist @ 56311:387503227136

("((") ("))"): add quotation mark shorthands.
author David Kastrup <dak@gnu.org>
date Thu, 01 Jul 2004 15:24:38 +0000
parents b5f2181a40b9
children f1e5f5261b95 59dcbfe97385
line wrap: on
line diff