//100header
/**
 * $Horde: ingo/config/prefs.php.dist,v 1.30 2004/04/15 02:09:54 max Exp $
 *
 * See horde/config/prefs.php for documentation on the structure of this file.
 */

