Remove useless dump function from the interface
tree86286fe94aadb9bb1d5e9731ad3a5ba8b522bc9c
-rw-r--r-- 295 AUTHORS
-rw-r--r-- 2744 ChangeLog
-rw-r--r-- 5524 Makefile.am
-rw-r--r-- 14 NEWS
-rw-r--r-- 231 README
-rw-r--r-- 276 THANKS
-rwxr-xr-x 74 autogen.sh
-rw-r--r-- 10049 configure.in
drwxr-xr-x - doc
drwxr-xr-x - include
-rwxr-xr-x 81 redo.sh
drwxr-xr-x - source
drwxr-xr-x - tests