diff src/m/sequent.h @ 17904:954352993fa2

(crisp-mode): Add autoload cookie.
author Richard M. Stallman <rms@gnu.org>
date Tue, 20 May 1997 21:46:00 +0000
parents ee40177f6c68
children 4be8406ebef9
line wrap: on
line diff