diff make-dist @ 17467:98c47e7857f3

Style of comments corrected. (interval_of): New function.
author Richard M. Stallman <rms@gnu.org>
date Tue, 15 Apr 1997 04:58:34 +0000
parents 55e7f9ff6456
children 892cc20c7d91
line wrap: on
line diff