//00Header
/**
 * $Horde: nag/config/prefs.php.dist,v 1.42.2.13 2010/04/20 08:24:21 jan Exp $
 *
 * See horde/config/prefs.php for documentation on the structure of this file.
 */

