diff src/m/sequent.h @ 32301:0f1f7e931493

Fix header line, copyright notice.
author Dave Love <fx@gnu.org>
date Sun, 08 Oct 2000 17:47:56 +0000
parents ee40177f6c68
children 4be8406ebef9
line wrap: on
line diff