Introduce a generic type for extensions and symbols
tree6fa26eee5ed025b08efff235150f169d627609fb
-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-- 10069 configure.in
drwxr-xr-x - doc
drwxr-xr-x - include
-rwxr-xr-x 81 redo.sh
drwxr-xr-x - source
drwxr-xr-x - tests