log src/m/sequent-ptx.h @ 1257:4424541fa226

age author description
Mon, 13 Aug 2007 11:35:02 +0200 cvs Import from CVS: tag r21-2-36 r21-2-36