Make the default font on Mac OS be Monaco 9 rather than Monaco 10, since the
[u/mdw/putty] / version.c
2001-03-15 simonAt long last: PuTTY will now report its version to...
1999-02-09 simonAdded automatic version distinguishing code, to differe...