diff src/intervals.h @ 92295:72a3622268cc

(make-obsolete): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Thu, 28 Feb 2008 03:47:59 +0000
parents f991f10f15ec
children f84051049637
line wrap: on
line diff