diff src/intervals.h @ 73205:eebe063ee090

better not use @LaTeX{}, I guess.
author Karl Berry <karl@gnu.org>
date Sun, 01 Oct 2006 22:52:07 +0000
parents 3bd95f4f2941
children e90d04cd455a b98066f4aa10 c5406394f567
line wrap: on
line diff