#ifndef _PATCHLEVEL_H
#define _PATCHLEVEL_H

extern char PATCHLEVEL[];
extern char PATCHDATE[];
extern char COPYRIGHT[];

#endif /* _PATCHLEVEL_H */