/*
|| 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.827 2009/06/28 16:29:41 peter Exp $
*/

#define PIKE_MAJOR_VERSION 7
#define PIKE_MINOR_VERSION 8
#define PIKE_BUILD_VERSION 316

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