Merge branch 'micro' into maint
-rw-r--r-- 165 .autom4te.cfg
-rw-r--r-- 439 .git-log-fix
-rw-r--r-- 21 .gitattributes
-rw-r--r-- 1091 .gitignore
-rw-r--r-- 553 AUTHORS
-rw-r--r-- 17987 COPYING
-rw-r--r-- 3303 GNUmakefile
-rw-r--r-- 17661 HACKING
-rw-r--r-- 15749 INSTALL
-rw-r--r-- 4255 Makefile.am
-rw-r--r-- 114250 NEWS
drwxr-xr-x - PLANS
-rw-r--r-- 2713 README
-rw-r--r-- 22102 THANKS
drwxr-xr-x - bin
-rwxr-xr-x 3849 bootstrap.sh
-rw-r--r-- 22965 configure.ac
drwxr-xr-x - contrib
drwxr-xr-x - doc
-rwxr-xr-x 14284 gen-testsuite-part
drwxr-xr-x - lib
drwxr-xr-x - m4
drwxr-xr-x - maintainer
drwxr-xr-x - old
drwxr-xr-x - t