diff src/m/sequent.h @ 25003:bb68fe3c72f8

New file.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 21 Jul 1999 21:43:52 +0000
parents ee40177f6c68
children 4be8406ebef9
line wrap: on
line diff