chiark / gitweb /
Avoid leading zeroes on internally generated random seeds, _just_ in
authorSimon Tatham <anakin@pobox.com>
Mon, 23 May 2005 12:02:37 +0000 (12:02 +0000)
committerSimon Tatham <anakin@pobox.com>
Mon, 23 May 2005 12:02:37 +0000 (12:02 +0000)
commit49fdcd1ed465e2ad2b8622eb1647eb5e0f8d6608
tree0922ae6cd6bee567304156844e219743e023b85f
parent80aa8bafb1d20bc0b2fea6b5c928db58a93c851f
Avoid leading zeroes on internally generated random seeds, _just_ in
case they confuse anyone who expects the same seed without the
leading zero to be equivalent.

[originally from svn r5838]
midend.c