[gathering-options] Arrow symbol

[Mark Thornton]

On 27/06/11 10:43, Andrew Haley wrote:
>
> I didn't expect the suggestion to be taken seriously, although I am
> still a little bemused by the reluctance to move beyond the
> capabilities of a teletype.  ;-)
>
> Andrew.
>
Perhaps we should start with a simple change of expecting a prologue on 
Java source files which specifies the character set, and assuming UTF-8 
if it is missing.

/** charset=ISO-8859-7
      indent=TAB
*/

I notice that this message has inherited the ISO-8859-7 (Greek) 
character set.

I seem to be stuck to ASCII for passwords as well because not everyone 
ensures that their system is using the correct character set. E.g. ssh 
from a windows system using their default character set, to a Linux 
system using UTF-8.

Mark Thornton