diff src/intervals.h @ 3258:27b7aa2bcf21

* make-dist: Rebuild configure if configure.in is newer.
author Jim Blandy <jimb@redhat.com>
date Sat, 29 May 1993 19:38:45 +0000
parents e94a593c3952
children 2323f2160053
line wrap: on
line diff