Various changes to preferences object, file loading, and error logging.
[jben.git] / doc / 
tree601131f0c9d9237d0bede37e95d6433c05f0fa13
drwxr-xr-x   ..
-rw-r--r-- 2153 configuration.xml
-rw-r--r-- 10952 general_usage.xml
-rw-r--r-- 4469 installation.xml
-rw-r--r-- 4922 jben.dia
-rw-r--r-- 617 manual.xml