diff src/m/sequent-ptx.h @ 40571:46765443f1be

*** empty log message ***
author Pavel Janík <Pavel@Janik.cz>
date Wed, 31 Oct 2001 15:09:35 +0000
parents 11039e684bd8
children 4be8406ebef9
line wrap: on
line diff