/*
|| 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.957 2010/06/01 10:11:52 distmaker Exp $
*/

#define PIKE_MAJOR_VERSION 7
#define PIKE_MINOR_VERSION 8
#define PIKE_BUILD_VERSION 447

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