diff src/intervals.c @ 73781:6b7048d2eb41

(Top): Change menu node description.
author Richard M. Stallman <rms@gnu.org>
date Mon, 06 Nov 2006 16:09:14 +0000 (2006-11-06)
parents 8b271981e0c5
children e90d04cd455a a8190f7e546e
line wrap: on
line diff