* the GNU General Public License.
*
* Copyright 2003, 2004, 2006 Develer S.r.l. (http://www.develer.com/)
- * This file is part of DevLib - See README.devlib for information.
+ *
* -->
*
* \brief DevLib configuration options
* In most cases, we rely on the optimizer to discard checks
* on constant values and performing dead-code elimination.
*
- * \version $Id$
+ * \version $Id: appconfig.h 18242 2007-10-08 17:35:23Z marco $
* \author Bernardo Innocenti <bernie@develer.com>
* \author Stefano Fedrigo <aleph@develer.com>
*/