| // +--------------------------------------------------------------------+ // // $Id: default-config.php 5 2003-02-01 22:41:25Z luca $ // global $CONFIG; $CONFIG['title'] = "Facultad"; $CONFIG['menu']['deep'] = -1; ?>