Include intervals.h.
tree8e53130fd013b0a8768da33b01d75613291d97d1
-rw-r--r-- 259 .gitignore
-rw-r--r-- 23765 AUTHORS
-rw-r--r-- 937 BUGS
-rw-r--r-- 143618 ChangeLog
-rw-r--r-- 4737 GETTING.GNU.SOFTWARE
-rw-r--r-- 31241 INSTALL
-rw-r--r-- 23486 Makefile.in
-rw-r--r-- 30940 PROBLEMS
-rw-r--r-- 3416 README
-rw-r--r-- 7581 aclocal.m4
-rwxr-xr-x 4762 build-ins.in
-rw-r--r-- 8497 config.bat
-rwxr-xr-x 32859 config.guess
-rwxr-xr-x 25031 config.sub
-rwxr-xr-x 219635 configure
-rw-r--r-- 61942 configure.in
drwxr-xr-x - etc
drwxr-xr-x - info
-rwxr-xr-x 5585 install-sh
-rw-r--r-- 5488 leim-Makefile.in
drwxr-xr-x - leim
drwxr-xr-x - lib-src
drwxr-xr-x - lisp
drwxr-xr-x - lispref
drwxr-xr-x - lwlib
-rwxr-xr-x 19235 make-dist
drwxr-xr-x - man
-rwxr-xr-x 732 mkinstalldirs
-rwxr-xr-x 129 move-if-change
drwxr-xr-x - msdos
drwxr-xr-x - nt
drwxr-xr-x - oldXMenu
drwxr-xr-x - src
-rw-r--r-- 7525 tparam.c
-rwxr-xr-x 550 update-subdirs
drwxr-xr-x - vms
-rw-r--r-- 219 vpath.sed