chiark / gitweb /
sort out comments, and elapsed time calculation, for new regime
authorian <ian>
Thu, 15 May 2008 23:00:33 +0000 (23:00 +0000)
committerian <ian>
Thu, 15 May 2008 23:00:33 +0000 (23:00 +0000)
commitbe6ac63af68570be8095dd1bd4e1ae72e0325e4b
tree209784c9751a8a8c45a100c4914195a0b86de3fb
parent3b746945b78eabf6bd149ee2218f0447b1fd355f
sort out comments, and elapsed time calculation, for new regime
hostside/safety.c