doc: rename "usage" section to "applications" section
[barvinok.git] / bernstein / 
treea07bb76e113ff1767929dc238e1d50804f045a48
drwxr-xr-x   ..
-rw-r--r-- 758 Makefile.am
-rw-r--r-- 660 README
-rwxr-xr-x 85 autogen.sh
-rw-r--r-- 1559 configure.in
drwxr-xr-x - examples
drwxr-xr-x - include
drwxr-xr-x - src