/*
**  mm_vers.c -- Version Information
**  [automatically generated and maintained by GNU shtool]
*/

#ifdef _AS_HEADER

#ifndef _MM_VERS_C
#define _MM_VERS_C
#define MM_VERSION 0x101203
extern const int  MM_Version;
extern const char MM_VersionStr[];
extern const char MM_Hello[];
extern const char MM_GNUVersion[];
extern const char MM_WhatID[];
extern const char MM_RCSIdentID[];
extern const char MM_WebID[];
extern const char MM_PlainID[];
#endif /* _MM_VERS_C */

#else

const int  MM_Version      = 0x101203;
const char MM_VersionStr[] = "1.1.3 (20-Jun-2000)";
const char MM_Hello[]      = "This is MM, Version 1.1.3 (20-Jun-2000)";
const char MM_GNUVersion[] = "MM Version 1.1.3";
const char MM_WhatID[]     = "@(#)MM Version 1.1.3 (20-Jun-2000)";
const char MM_RCSIdentID[] = "$Id: MM 1.1.3 20-Jun-2000 $";
const char MM_WebID[]      = "MM/1.1.3";
const char MM_PlainID[]    = "1.1.3";

#endif