diff etc/ps-prin1.ps @ 36341:0ab4e667274d

(Syntactic Symbols): Remove doubled `the'.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 23 Feb 2001 12:55:36 +0000
parents b5a4db21c424
children b582e8e39870
line wrap: on
line diff