chiark / gitweb /
Hopefully-this-time-correct arrangements for dealing with uncertainty>maxinto. safet...
authorian <ian>
Wed, 30 Jul 2008 21:38:26 +0000 (21:38 +0000)
committerian <ian>
Wed, 30 Jul 2008 21:38:26 +0000 (21:38 +0000)
commit2d60ffdb71d84f223c3f29626e66ae33c4b497be
tree6844aed663cc06c831b63a938ae903e27f9e3e7f
parentff0cde3f16d0ebad71cf2986acc3b53a398de96c
Hopefully-this-time-correct arrangements for dealing with uncertainty>maxinto.  safety.c r1.96 and r1.61 were definitely wrong ...
hostside/safety.c