chiark / gitweb /
on detection, when stopping, do not include an extra lump of uncertainty in the stopp...
authorian <ian>
Tue, 13 May 2008 18:48:40 +0000 (18:48 +0000)
committerian <ian>
Tue, 13 May 2008 18:48:40 +0000 (18:48 +0000)
commita15184aa8d5e76977a66a5f0f968521063811053
tree9cc28d505e4eb57327c12657fb9265fbb0cd487c
parentd1216d5c33c3047568f6e22d18300b06b40fb45b
on detection, when stopping, do not include an extra lump of uncertainty in the stopping distance
hostside/safety.c
hostside/safety.h
hostside/speed.c
hostside/xs.gdb