diff src/intervals.c @ 29497:0763a6ed0743

Insert a version number comment (5.2.2). Indentation fix.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 07 Jun 2000 15:38:45 +0000
parents fcb030c7708e
children c3435dc00ed7
line wrap: on
line diff