options now exported by "prefs.js"
tree4d72f34ae14e620ca5db170034b5ed7d249e0a7d
-rw-r--r-- 2149 CREDITS
-rw-r--r-- 1545 LICENSE.bsd
-rw-r--r-- 1328 LICENSE.mit
-rw-r--r-- 25754 LICENSE.mpl
-rw-r--r-- 483 LICENSE.wtfpl
-rw-r--r-- 6129 README
-rw-r--r-- 109 THANKS
-rw-r--r-- 2378 bootstrap.js
-rw-r--r-- 21 chrome.manifest
-rw-r--r-- 564 icon.png
drwxr-xr-x - includes
-rw-r--r-- 2712 install.rdf
drwxr-xr-x - modules
-rw-r--r-- 330 zbuild.sh