Export the more specific names for device options
tree6c9767116ee319278cb282040a59ed948a1ea8f6
-rw-r--r-- 6 .gitignore
drwxr-xr-x - example
-rw-r--r-- 833 package.lisp
-rw-r--r-- 1506 sane.asd
drwxr-xr-x - src
drwxr-xr-x - swig