diff src/m/sequent.h @ 78341:08e95c053687

(Copying): Include license text from gpl.texi, rather than in-line.
author Glenn Morris <rgm@gnu.org>
date Fri, 27 Jul 2007 07:09:41 +0000
parents 6aba169c4b1f
children 49b363c28dce f55f9811f5d7
line wrap: on
line diff