Merge branch 'jlouis/fix-opt-unchoke' into next
tree717003600bad9e8385db83ecf8b5e4deb784ef19
-rw-r--r-- 27 .gitignore
-rw-r--r-- 56 AUTHORS
-rw-r--r-- 1329 COPYING
-rw-r--r-- 1567 HACKING
-rw-r--r-- 245 INSTALL
-rw-r--r-- 1207 Makefile
-rw-r--r-- 187 Makefile.config
-rw-r--r-- 2347 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