chiark / gitweb /
Don't turn tracing on if tracing is turned off (!).
authormdw <mdw>
Sun, 13 Jan 2002 17:28:29 +0000 (17:28 +0000)
committermdw <mdw>
Sun, 13 Jan 2002 17:28:29 +0000 (17:28 +0000)
commitd360f042becf2ccaf3d242f793ae88df778207b0
treebe8edb59d842d991a78050da56e5ae59d8a274a3
parentc5a2ea9b8e68a323297a899770bc3b813c24b222
Don't turn tracing on if tracing is turned off (!).
tripe.c