diff make-dist @ 39859:36068b62b4c1

(mark_interval_tree): Use traverse_intervals_noorder.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Fri, 12 Oct 2001 22:19:11 +0000
parents c1607757c868
children 3634931bc971
line wrap: on
line diff