chiark / gitweb /
do not panic on interference detection
authorian <ian>
Sun, 4 May 2008 21:12:06 +0000 (21:12 +0000)
committerian <ian>
Sun, 4 May 2008 21:12:06 +0000 (21:12 +0000)
commit6e6c3cf29bc2a165c327b44392b1672a6a08f374
treef819dba60fc7fa860691a55f72dff9e51f395bb9
parentbd9da1a409d2bf8800a04d8c98e006b387d293c7
do not panic on interference detection
hostside/safety.c