2020-11-10 03:02:11 +03:00
|
|
|
/* Header: version.c,v 7.0 86/10/08 15:14:39 lwall Exp
|
2020-11-10 02:37:05 +03:00
|
|
|
*
|
2020-11-10 03:02:11 +03:00
|
|
|
* Log: version.c,v
|
2020-11-10 02:37:05 +03:00
|
|
|
* Revision 7.0 86/10/08 15:14:39 lwall
|
|
|
|
* Split into separate files. Added amoebas and pirates.
|
2021-05-02 15:50:43 +03:00
|
|
|
*
|
2020-11-10 02:37:05 +03:00
|
|
|
*/
|
|
|
|
|
|
|
|
#include "patchlevel.h"
|
|
|
|
#include "INTERN.h"
|
|
|
|
#include "version.h"
|
|
|
|
|
2020-11-10 11:49:08 +03:00
|
|
|
#include <stdio.h>
|
|
|
|
|
2020-11-10 02:37:05 +03:00
|
|
|
/* Print out the version number. */
|
|
|
|
|
|
|
|
void
|
2020-11-11 01:42:19 +03:00
|
|
|
version(void)
|
2020-11-10 02:37:05 +03:00
|
|
|
{
|
|
|
|
extern char rcsid[];
|
|
|
|
|
|
|
|
printf("%s\r\nPatch level: %d\r\n", rcsid, PATCHLEVEL);
|
|
|
|
}
|