(mark_interval_tree): Use traverse_intervals_noorder.
treeef539971a3ff4f7b6f5a23c93b5553fe8165f9db
-rw-r--r-- 342 .gitignore
-rw-r--r-- 76090 AUTHORS
-rw-r--r-- 1042 BUGS
-rw-r--r-- 17992 COPYING
-rw-r--r-- 157677 ChangeLog
-rw-r--r-- 10413 FTP
-rw-r--r-- 42552 INSTALL
-rw-r--r-- 25281 Makefile.in
-rw-r--r-- 4050 README
-rw-r--r-- 16040 aclocal.m4
drwxr-xr-x - admin
-rw-r--r-- 9340 config.bat
-rwxr-xr-x 36667 config.guess
-rwxr-xr-x 26680 config.sub
-rwxr-xr-x 262401 configure
-rw-r--r-- 66010 configure.in
drwxr-xr-x - etc
drwxr-xr-x - info
-rwxr-xr-x 5585 install-sh
drwxr-xr-x - leim
drwxr-xr-x - lib-src
-rw-r--r-- 4792001 lisp-elc.tgz
drwxr-xr-x - lisp
drwxr-xr-x - lispref
drwxr-xr-x - lwlib
drwxr-xr-x - mac
-rwxr-xr-x 21351 make-dist
drwxr-xr-x - man
-rwxr-xr-x 755 mkinstalldirs
-rwxr-xr-x 129 move-if-change
drwxr-xr-x - msdos
-rw-r--r-- 294 noleim-Makefile.in
drwxr-xr-x - nt
drwxr-xr-x - oldXMenu
drwxr-xr-x - src
-rwxr-xr-x 1368 update-subdirs
drwxr-xr-x - vms
-rw-r--r-- 219 vpath.sed