Merge branch 'release-0.10'
-rw-r--r-- 348 .cil
-rw-r--r-- 53 .gitignore
-rw-r--r-- 32399 COPYING
-rw-r--r-- 10762 ChangeLog
-rw-r--r-- 1706 FAQ
-rw-r--r-- 851 INSTALL
-rwxr-xr-x 3034 Makefile
-rw-r--r-- 1942 README
-rw-r--r-- 1516 THANKS
drwxr-xr-x - bin
drwxr-xr-x - debian
drwxr-xr-x - issues
drwxr-xr-x - man
drwxr-xr-x - molly-guard
drwxr-xr-x - t
drwxr-xr-x - testing