/*
|| This file is part of Pike. For copyright information see COPYRIGHT.
|| Pike is distributed under GPL, LGPL and MPL. See the file COPYING
|| for more information.
|| $Id: dummy.c,v 1.6 2002/10/21 17:07:10 marcus Exp $
*/

#include "global.h"
#include "pgtk_config.h"
#include "module.h"

RCSID("$Id: dummy.c,v 1.6 2002/10/21 17:07:10 marcus Exp $");

/* Well... Sort of basic, right? :-) */

PIKE_MODULE_INIT
{
}

PIKE_MODULE_EXIT
{
}
