Merge branch 'jlouis/robustize' into next
tree31e09099908f79b4b86123e2641ae78d2ae5659d
-rw-r--r-- 27 .gitignore
-rw-r--r-- 56 AUTHORS
-rw-r--r-- 1329 COPYING
-rw-r--r-- 2266 ChangeLog
-rw-r--r-- 1567 HACKING
-rw-r--r-- 245 INSTALL
-rw-r--r-- 1207 Makefile
-rw-r--r-- 187 Makefile.config
-rw-r--r-- 44 NEWS
-rw-r--r-- 1964 README
-rw-r--r-- 5820 TODO
drwxr-xr-x - bin
drwxr-xr-x - doc
drwxr-xr-x - lib
drwxr-xr-x - releases