/*
|| 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: e16923cb06ac4f414d31f8e75a45fe2d92b7a086 $
*/

#define PIKE_MAJOR_VERSION 7
#define PIKE_MINOR_VERSION 8
#define PIKE_BUILD_VERSION 700

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