diff src/m/sequent-ptx.h @ 18087:05c70aa62552

Synched with 1.9903
author Per Abrahamsen <abraham@dina.kvl.dk>
date Sun, 01 Jun 1997 08:04:57 +0000
parents 11039e684bd8
children 4be8406ebef9
line wrap: on
line diff