diff src/intervals.h @ 56311:387503227136

("((") ("))"): add quotation mark shorthands.
author David Kastrup <dak@gnu.org>
date Thu, 01 Jul 2004 15:24:38 +0000
parents 8d8fae1e281a
children 6f9ee118f2bb d4d5e54871ff
line wrap: on
line diff