On Fri, Nov 30, 2001 at 15:52:09 +0000, Bruno Postle wrote:
> On Fri 30-Nov-2001 at 01:09:20PM +0000, Steve Kennedy wrote:
> > If I get a pgp/gpg message I now get
> > 
> > > [-- End of PGP output --]
> > > \012
> > > [-- The following data is signed --]
> > > \012
> 
> I get ? instead of \012

I get \012 (normal color).

> This is the same without any color settings so there is an extra
> formfeed character floating around somewhere.

\012 (10 is decimal) is a linefeed, isn't it?

-- 
Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> - 100%
validated HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des
Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA

Reply via email to