Don't change "disable_list_and_dump" after reloading the configuration
treee796f38b5896fd5936f23f05a9c02fd126d0ac5f
-rw-r--r-- 17501 COMMANDS
-rw-r--r-- 17989 COPYING
-rw-r--r-- 9416 INSTALL
-rw-r--r-- 191 KnownBugs
-rw-r--r-- 352 Makefile.am
-rw-r--r-- 21692 NEWS
-rw-r--r-- 3116 README
-rw-r--r-- 2259 TODO
-rwxr-xr-x 2412 autogen.sh
-rw-r--r-- 5320 configure.ac
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - po
drwxr-xr-x - src