options: use modified boost class to permit multiple_options
tree6b7399e69490b549dc8306f2080d160bb977ec41
-rw-r--r-- 282 .gitignore
-rw-r--r-- 135 AUTHORS
-rw-r--r-- 1208 COPYING
-rw-r--r-- 0 ChangeLog
-rw-r--r-- 37 Makefile.am
-rw-r--r-- 0 NEWS
-rw-r--r-- 192 README
-rw-r--r-- 1965 USAGE
-rw-r--r-- 641 configure.ac
drwxr-xr-x - m4
drwxr-xr-x - src