Removing tools for GPL and copyright instrumentation.
treeb3fa1d35c85d53c424fb92fa96a4f96c018689ed
-rw-r--r-- 174 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 1386 Makefile.am
-rw-r--r-- 9029 VERSION
drwxr-xr-x - config
-rw-r--r-- 2907 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - examples
drwxr-xr-x - m4
drwxr-xr-x - resources
drwxr-xr-x - source
drwxr-xr-x - test
drwxr-xr-x - tools
-rwxr-xr-x 1560 version_test.sh