diff src/m/sequent-ptx.h @ 42534:c07ef1efb323

Doc fix.
author Pavel Janík <Pavel@Janik.cz>
date Fri, 04 Jan 2002 21:35:15 +0000
parents 11039e684bd8
children 4be8406ebef9
line wrap: on
line diff