chiark / gitweb /
bugfixes to polarity and reporting
authorian <ian>
Mon, 5 May 2008 10:42:59 +0000 (10:42 +0000)
committerian <ian>
Mon, 5 May 2008 10:42:59 +0000 (10:42 +0000)
commita36e1e0ca84e37682d4e2328f92e1ad7a988979b
treedc96c71af10ffc4c3ac7a6fdc2eed16cc5b35d3e
parent19cd78b1c227d2a95de014b98b303e719e897317
bugfixes to polarity and reporting
hostside/safety.c