Make it possible to rename obstack_free.
-rw-r--r-- 368 COPYING
-rw-r--r-- 818513 ChangeLog
-rw-r--r-- 264103 MODULES.html
-rwxr-xr-x 39054 MODULES.html.sh
-rw-r--r-- 10322 README
drwxr-xr-x - build-aux
-rwxr-xr-x 6907 check-module
drwxr-xr-x - config
drwxr-xr-x - doc
-rwxr-xr-x 95865 gnulib-tool
drwxr-xr-x - lib
drwxr-xr-x - m4
drwxr-xr-x - modules
drwxr-xr-x - tests
-rw-r--r-- 3023 users.txt