diff etc/compilation.txt @ 56311:387503227136

("((") ("))"): add quotation mark shorthands.
author David Kastrup <dak@gnu.org>
date Thu, 01 Jul 2004 15:24:38 +0000
parents 60906ddcbf22
children c173d0dac457 4c90ffeb71c5
line wrap: on
line diff