log src/m/sequent-ptx.h @ 1069:13daf40fb997

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