/*1:*/
#line 31 "patlib.w"

#ifndef PTL_VERS_H
#define PTL_VERS_H

const char*patlib_version= "1.0";
const char*patlib_cvs_id= "$Id: patlib.w,v 1.127 2001/12/04 08:10:22 antos Exp $";

#endif

/*:1*/