chiark / gitweb /
Flush tracedump file after each `interesting' write.
authormdw <mdw>
Mon, 8 Sep 1997 13:43:54 +0000 (13:43 +0000)
committermdw <mdw>
Mon, 8 Sep 1997 13:43:54 +0000 (13:43 +0000)

No differences found