Updated the PuTTYgen section in pubkey.but so that it gives
[sgt/putty] / sshsh512.c
2001-09-23 simonDestroy DOS line endings and unnecessary redefinition...
2001-09-23 simonOops - another missing file :-/