diff src/m/sequent-ptx.h @ 36388:5835d43dcf93

(Bug Criteria): Reword a sentence.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 26 Feb 2001 10:12:28 +0000
parents 11039e684bd8
children 4be8406ebef9
line wrap: on
line diff