r1001: Internal changes to options system:
tree926a5057943a0745804e99ca54653db3144b2ec4
-rw-r--r-- 2955 README
drwxr-xr-x - ROX-Filer
-rwxr-xr-x 4505 install.sh