/*
|| 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: version.h,v 1.862 2009/09/22 21:21:48 peter Exp $
*/

#define PIKE_MAJOR_VERSION 7
#define PIKE_MINOR_VERSION 8
#define PIKE_BUILD_VERSION 352

/* Prototypes begin here */
void f_version(INT32 args);
void push_compact_version();
/* Prototypes end here */
