add a dummy implementation of System.Timeout.timeout for nhc98
authorMalcolm.Wallace@cs.york.ac.uk <unknown>
Mon, 28 May 2007 11:03:09 +0000 (11:03 +0000)
committerMalcolm.Wallace@cs.york.ac.uk <unknown>
Mon, 28 May 2007 11:03:09 +0000 (11:03 +0000)

No differences found