Add proper error reports in write_random_seed, via the new 'nonfatal'
[sgt/putty] / configure
2011-07-23 simonMake the top-level configure wrapper executable. (I...
2011-07-23 simonAdd a wrapper script called 'configure' at the top...