<?php
	/**************************************************************************\
	* phpGroupWare - Developer Tools                                           *
	* http://www.phpgroupware.org                                              *
	* --------------------------------------------                             *
	*  This program is free software; you can redistribute it and/or modify it *
	*  under the terms of the GNU General Public License as published by the   *
	*  Free Software Foundation; either version 2 of the License, or (at your  *
	*  option) any later version.                                              *
	\**************************************************************************/

	/* $Id: index.php,v 1.1.1.1 2001/07/14 04:38:50 jengo Exp $ */

	$phpgw_info['flags'] = array(
		'currentapp'              => 'developer_tools'
	);
	include('../header.inc.php');

	$phpgw->common->phpgw_footer();
