#ifndef _PATCHLEVEL_H
#define _PATCHLEVEL_H
extern char PATCHLEVEL[];
extern char PATCHDATE[];
extern char COPYRIGHT[];
#endif /* _PATCHLEVEL_H */