diff src/intervals.c @ 9506:2341ee469132

(top_distclean): Don't rm build-install. (SOURCES): Delete build-install.in.
author Richard M. Stallman <rms@gnu.org>
date Thu, 13 Oct 1994 04:04:30 +0000
parents 33942ce702fa
children 9d72d79329c3
line wrap: on
line diff