
//00Header
/**
 * $Horde: trean/config/prefs.php.dist,v 1.13 2006/01/01 18:13:12 jan Exp $
 *
 * See horde/config/prefs.php for documentation on the structure of this file.
 */

