Lists Home |
Date Index |
Eddie Robertsson scripsit:
> >For that matter, the Java situation is not open and shut either.
> >Although in Java it is guaranteed that '\n' == '\013',
> Isn't '\n' the newline character in Java and mapped to '\010'?
> I think '\r' is mapped to '\013'.
I meant to write \012 = \0x0A.
I am a member of a civilization. --David Brin