[dev] Setting preferences as not changeable -- changeable bit?

Max Kalika max@the-triumvirate.net
Thu, 09 Nov 2000 14:04:13 -0800 (PST)


Quoting Max Kalika <max@the-triumvirate.net>:

> See imp/conf/prefs.php.dist.  It should answer all your questions.  Don't 
> forget to copy this to imp/conf/prefs.php and make changes in the copy.

oops!

s/conf/config/g


--mk23