//100header
/**
 * $Horde: ingo/config/prefs.php.dist,v 1.30.10.4 2010-07-06 09:49:33 jan Exp $
 *
 * See horde/config/prefs.php for documentation on the structure of this file.
 */

